Searched refs:firmware_PalCode_bytes (Results 1 – 2 of 2) sorted by relevance
176 extern uint64_t firmware_PalCode_bytes;542 firmware_PalCode_bytes += region_bytes; in i386_vm_init()
823 uint64_t firmware_PalCode_bytes = 0; variable832 …QUAD(_machdep_memmap, OID_AUTO, PalCode, CTLFLAG_RD | CTLFLAG_LOCKED, &firmware_PalCode_bytes, "");