Symbol: __trace_do_switch
arch/arm64/kvm/hyp/nvhe/debug-sr.c
80
__trace_do_switch(host_data_ptr(host_debug_state.trfcr_el1),
arch/arm64/kvm/hyp/nvhe/debug-sr.c
91
__trace_do_switch(host_data_ptr(trfcr_while_in_guest),