ucall_arch_get_ucall
void *ucall_arch_get_ucall(struct kvm_vcpu *vcpu);
addr = ucall_arch_get_ucall(vcpu);