ACPI_DEVICE_HANDLE_ITEM
{ ACPI_DEVICE_HANDLE_ITEM, B_UINT64_TYPE, { .ui64 = (addr_t)acpiHandle }},
if (sDeviceManager->get_attr_uint64(parent, ACPI_DEVICE_HANDLE_ITEM,
if (sDeviceManager->get_attr_uint64(parent, ACPI_DEVICE_HANDLE_ITEM,
if (sDeviceManager->get_attr_uint64(node, ACPI_DEVICE_HANDLE_ITEM,