Searched refs:np_pml4 (Results 1 – 1 of 1) sorted by relevance
311 uint64_t msrpm_base_pa, uint64_t np_pml4) in vmcb_init() argument326 ctrl->n_cr3 = np_pml4; in vmcb_init()