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