acpi_get_type
t = acpi_get_type(dev);
type = acpi_get_type(dev);
if (acpi_get_type(dev) == ACPI_TYPE_PROCESSOR) {
KASSERT(acpi_get_type(dev) == ACPI_TYPE_DEVICE,
if (acpi_get_type(dev) != ACPI_TYPE_DEVICE || acpi_disabled("ec"))
if (acpi_get_type(dev) != ACPI_TYPE_DEVICE || acpi_disabled("spmc"))
if (acpi_get_type(dev) == ACPI_TYPE_THERMAL && !acpi_disabled("thermal")) {
acpi_get_type(parent) != ACPI_TYPE_PROCESSOR)
ACPI_OBJECT_TYPE type = acpi_get_type(dev);
if (acpi_get_type(dev) == ACPI_TYPE_PROCESSOR) {
KASSERT(acpi_get_type(dev) == ACPI_TYPE_DEVICE,