addr_gpa2alias
prefault_mem(addr_gpa2alias(vm, vcpu_args->gpa),
void *addr_gpa2alias(struct kvm_vm *vm, vm_paddr_t gpa);