Searched defs: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()2121 vm_inject_pf(void *vmarg, int vcpuid, int error_code, uint64_t cr2) in vm_inject_pf()