Searched defs:vapicrp (Results 1 – 1 of 1) sorted by relevance
431 uint64_t vapicrp:40; /* 51:12 bits of SPA for APIC backing page */ member468 uint64_t vapicrp:40; /* 51:12 bits of SPA for APIC backing page */ member