Searched refs:trfcr_while_in_guest (Results 1 – 3 of 3) sorted by relevance
274 void kvm_tracing_set_el1_configuration(u64 trfcr_while_in_guest) in kvm_tracing_set_el1_configuration() argument280 write_sysreg_s(trfcr_while_in_guest, SYS_TRFCR_EL12); in kvm_tracing_set_el1_configuration()284 *host_data_ptr(trfcr_while_in_guest) = trfcr_while_in_guest; in kvm_tracing_set_el1_configuration()285 if (read_sysreg_s(SYS_TRFCR_EL1) != trfcr_while_in_guest) in kvm_tracing_set_el1_configuration()
78 *host_data_ptr(trfcr_while_in_guest) = 0; in __trace_switch_to_guest()81 *host_data_ptr(trfcr_while_in_guest)); in __trace_switch_to_guest()91 __trace_do_switch(host_data_ptr(trfcr_while_in_guest), in __trace_switch_to_host()
755 u64 trfcr_while_in_guest; member1428 void kvm_tracing_set_el1_configuration(u64 trfcr_while_in_guest);1438 static inline void kvm_tracing_set_el1_configuration(u64 trfcr_while_in_guest) {} in kvm_tracing_set_el1_configuration() argument