hv_trace_guest_exit Declarationvoid hv_trace_guest_exit(uint32_t vcpu_id, uint64_t *vcpu_regs, uint32_t reason);