vm_gla2gpa
vm_gla2gpa(struct vcpu *vcpu, struct vm_guest_paging *paging,
vm_gla2gpa(struct vm *vm, int vcpuid, struct vm_guest_paging *paging,
struct vm_gla2gpa {