Searched defs:eptp (Results 1 – 2 of 2) sorted by relevance
319 uint64_t eptp; /* cached EPTP (used by vmm) */ global() member
2846 uint64_t msr, eptp; vcpu_init_vmx() local [all...]