__tracing_load
int __tracing_load(unsigned long desc_va, size_t desc_size);
cpu_reg(host_ctxt, 1) = __tracing_load(desc_hva, desc_size);
HANDLE_FUNC(__tracing_load),
ret = kvm_call_hyp_nvhe(__tracing_load, (unsigned long)desc, desc_size);