Searched refs:vmarg (Results 1 – 1 of 1) sorted by relevance
2106 vm_inject_fault(void *vmarg, int vcpuid, int vector, int errcode_valid, in vm_inject_fault() argument2112 vm = vmarg; in vm_inject_fault()2121 vm_inject_pf(void *vmarg, int vcpuid, int error_code, uint64_t cr2) in vm_inject_pf() argument2126 vm = vmarg; in vm_inject_pf()