user_exc_vmm_communication
noinstr void user_exc_vmm_communication(struct pt_regs *regs, unsigned long error_code);
return user_exc_vmm_communication(regs, error_code);