Searched refs:firmware_other_bytes (Results 1 – 2 of 2) sorted by relevance
179 extern uint64_t firmware_other_bytes;557 firmware_other_bytes += region_bytes; in i386_vm_init()
826 uint64_t firmware_other_bytes = 0; variable835 SYSCTL_QUAD(_machdep_memmap, OID_AUTO, Other, CTLFLAG_RD | CTLFLAG_LOCKED, &firmware_other_bytes, "…