Searched refs:vmcs_phys_pointer (Results 1 – 1 of 1) sorted by relevance
492 uint64_t vmcs_phys_pointer; // bits 11:0 are reserved and must be 0 member673 uint64_t vmcs_phys_pointer; member