inject_fault
return inject_fault(vcpu, rc_dest, dest, 1);
return inject_fault(vcpu, rc_src, src, 0);
return inject_fault(vcpu, PGM_PROTECTION,
rc = inject_fault(vcpu, rc,
static DECLARE_FAULT_ATTR(inject_fault);
&inject_fault);
setup_fault_attr(&inject_fault, inject_request);