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