Searched refs:firmware_Reserved_bytes (Results 1 - 2 of 2) sorted by relevance

/xnu-2422.115.4/osfmk/i386/
H A Di386_vm_init.c150 extern uint64_t firmware_Reserved_bytes;
416 firmware_Reserved_bytes += region_bytes;
/xnu-2422.115.4/bsd/dev/i386/
H A Dsysctl.c720 uint64_t firmware_Reserved_bytes = 0; variable
729 SYSCTL_QUAD(_machdep_memmap, OID_AUTO, Reserved, CTLFLAG_RD|CTLFLAG_LOCKED, &firmware_Reserved_bytes, "");

Completed in 23 milliseconds