__tracing_reset
int __tracing_reset(unsigned int cpu);
cpu_reg(host_ctxt, 1) = __tracing_reset(cpu);
HANDLE_FUNC(__tracing_reset),
return kvm_call_hyp_nvhe(__tracing_reset, cpu);