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