Searched refs:firmware_RuntimeServices_bytes (Results 1 – 2 of 2) sorted by relevance
172 extern uint64_t firmware_RuntimeServices_bytes;529 firmware_RuntimeServices_bytes += region_bytes; in i386_vm_init()
820 uint64_t firmware_RuntimeServices_bytes = 0; variable829 …mmap, OID_AUTO, RuntimeServices, CTLFLAG_RD | CTLFLAG_LOCKED, &firmware_RuntimeServices_bytes, "");