__tracing_enable
int __tracing_enable(bool enable);
cpu_reg(host_ctxt, 1) = __tracing_enable(enable);
HANDLE_FUNC(__tracing_enable),
ret = kvm_call_hyp_nvhe(__tracing_enable, enable);