Searched defs:eptp (Results 1 – 1 of 1) sorted by relevance
73 uint64_t eptp; member2869 uint64_t rev, eptp; in vmx_vcpu_init() local