Searched refs:read_guest_s2_desc (Results 1 – 1 of 1) sorted by relevance
210 static int read_guest_s2_desc(struct kvm_vcpu *vcpu, phys_addr_t pa, u64 *desc, in read_guest_s2_desc() function307 ret = read_guest_s2_desc(vcpu, paddr, &desc, wi); in walk_nested_s2_pgd()