Searched refs:vmarg (Results 1 – 1 of 1) sorted by relevance
2123 vm_inject_fault(void *vmarg, int vcpuid, int vector, int errcode_valid, in vm_inject_fault() argument2129 vm = vmarg; in vm_inject_fault()2138 vm_inject_pf(void *vmarg, int vcpuid, int error_code, uint64_t cr2) in vm_inject_pf() argument2143 vm = vmarg; in vm_inject_pf()