Home
last modified time | relevance | path

Searched refs:np_pml4 (Results 1 – 1 of 1) sorted by relevance

/freebsd/sys/amd64/vmm/amd/
H A Dsvm.c441 uint64_t msrpm_base_pa, uint64_t np_pml4) in vmcb_init() argument
456 ctrl->n_cr3 = np_pml4; in vmcb_init()