Searched refs:firmware_ACPINVS_bytes (Results 1 – 2 of 2) sorted by relevance
174 extern uint64_t firmware_ACPINVS_bytes;537 firmware_ACPINVS_bytes += region_bytes; in i386_vm_init()
822 uint64_t firmware_ACPINVS_bytes = 0; variable831 …QUAD(_machdep_memmap, OID_AUTO, ACPINVS, CTLFLAG_RD | CTLFLAG_LOCKED, &firmware_ACPINVS_bytes, "");