Searched refs:firmware_ACPIReclaim_bytes (Results 1 – 2 of 2) sorted by relevance
173 extern uint64_t firmware_ACPIReclaim_bytes;533 firmware_ACPIReclaim_bytes += region_bytes; in i386_vm_init()
821 uint64_t firmware_ACPIReclaim_bytes = 0; variable830 …chdep_memmap, OID_AUTO, ACPIReclaim, CTLFLAG_RD | CTLFLAG_LOCKED, &firmware_ACPIReclaim_bytes, "");