Searched refs:msrpm_base_pa (Results 1 – 2 of 2) sorted by relevance
296 uint64_t msrpm_base_pa; /* 0x48: MSRPM_BASE_PA */ member
311 uint64_t msrpm_base_pa, uint64_t np_pml4) in vmcb_init() argument322 ctrl->msrpm_base_pa = msrpm_base_pa; in vmcb_init()