https://bsdio.com/edk2/docs/master/struct_e_f_i___a_c_p_i__5__0___i_a32___a_r_c_h_i_t_e_c_t_u_r_e___m_a_c_h_i_n_e___c_h_e_c_k___e_xc663a23d364f2644ebe91bc0e8c90f17.html
TianoCore EDK2: EFI_ACPI_5_0_IA32_ARCHITECTURE_MACHINE_CHECK_EXCEPTION_STRUCTURE Struct Reference
machine check exceptiontianocoreefiacpiarchitecture