Searched refs:npt_get_pml4e (Results 1 – 4 of 4) sorted by relevance
24 return get_pte(npt_get_pml4e(), (void*)address); in npt_get_pte()30 search = find_pte_level(npt_get_pml4e(), (void*)address, 2); in npt_get_pde()37 search = find_pte_level(npt_get_pml4e(), (void*)address, 3); in npt_get_pdpe()41 u64 *npt_get_pml4e(void) in npt_get_pml4e() function
239 if (pxe == npt_get_pdpe((u64) basic_guest_main) || pxe == npt_get_pml4e()) { in __svm_npt_rsvd_bits_test()374 _svm_npt_rsvd_bits_test(npt_get_pml4e(), BIT_ULL(8), in svm_npt_rsvd_bits_test()
417 u64 *npt_get_pml4e(void);
2405 u64 *pdpe = npt_get_pml4e(); in test_cr3()