Searched refs:pgd_level (Results 1 – 2 of 2) sorted by relevance
1191 int pgd_level);
3162 int pgd_level) in vmx_load_mmu_pgd() argument3170 eptp = construct_eptp(vcpu, pgd, pgd_level); in vmx_load_mmu_pgd()