Searched refs:system_event (Results 1 – 4 of 4) sorted by relevance
1353 uint64_t error_code = run->system_event.data[R_R12]; in tdx_handle_report_fatal_error()1354 uint64_t reg_mask = run->system_event.data[R_ECX]; in tdx_handle_report_fatal_error()1373 *(tmp++) = run->system_event.data[REG]; \ in tdx_handle_report_fatal_error()1390 gpa = run->system_event.data[R_R13]; in tdx_handle_report_fatal_error()
6193 switch (run->system_event.type) { in kvm_arch_handle_exit()
380 } system_event; member
3300 trace_kvm_run_exit_system_event(cpu->cpu_index, run->system_event.type); in kvm_cpu_exec()3301 switch (run->system_event.type) { in kvm_cpu_exec()