Lines Matching defs:device_id
276 uint32_t device_id;
478 uint64_t start, uint64_t end, uint32_t domain, uint32_t device_id);
2211 uint64_t end, uint32_t domain, uint32_t device_id)
2227 * This function is called during boot if device_id is
2231 if (device_id != ACPI_MEMNODE_DEVID_BOOT) {
2238 memnode_info[mnode].device_id == device_id) {
2254 memnode_info[mnode].device_id = device_id;
2270 memnode_info[node].device_id = device_id;