get_attr_uint64
status_t (*get_attr_uint64)(const device_node *node, const char *name,
if (pnp->get_attr_uint64(node, B_DMA_HIGH_ADDRESS,
if (sDeviceManager->get_attr_uint64(node, kDeviceSizeItem, &deviceSize,
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,
get_attr_uint64,
if (gDeviceManagerModule.get_attr_uint64(node,
if (gDeviceManagerModule.get_attr_uint64(node,
get_attr_uint64,
status_t (*get_attr_uint64)(const device_node *node, const char *name,