kvm_tracing_set_el1_configuration
void kvm_tracing_set_el1_configuration(u64 trfcr_while_in_guest);
EXPORT_SYMBOL_GPL(kvm_tracing_set_el1_configuration);
kvm_tracing_set_el1_configuration(trfcr);
kvm_tracing_set_el1_configuration(guest_trfcr);