Searched refs:firmware_Reserved_bytes (Results 1 – 2 of 2) sorted by relevance
176 extern uint64_t firmware_Reserved_bytes;546 firmware_Reserved_bytes += region_bytes; in i386_vm_init()
824 uint64_t firmware_Reserved_bytes = 0; variable833 …AD(_machdep_memmap, OID_AUTO, Reserved, CTLFLAG_RD | CTLFLAG_LOCKED, &firmware_Reserved_bytes, "");