Searched refs:register_state (Results 1 – 1 of 1) sorted by relevance
482 EFI_CONTEXT_IA32_REGISTER_STATE *register_state = in cper_ia32x64_processor_context_info_to_ir() local485 cper_ia32x64_register_32bit_to_ir(register_state); in cper_ia32x64_processor_context_info_to_ir()486 *cur_pos = (void *)(register_state + 1); in cper_ia32x64_processor_context_info_to_ir()492 EFI_CONTEXT_X64_REGISTER_STATE *register_state = in cper_ia32x64_processor_context_info_to_ir() local495 cper_ia32x64_register_64bit_to_ir(register_state); in cper_ia32x64_processor_context_info_to_ir()496 *cur_pos = (void *)(register_state + 1); in cper_ia32x64_processor_context_info_to_ir()961 EFI_CONTEXT_IA32_REGISTER_STATE register_state; in ir_ia32x64_ia32_registers_to_cper() local962 register_state.Eax = (UINT32)json_object_get_uint64( in ir_ia32x64_ia32_registers_to_cper()964 register_state.Ebx = (UINT32)json_object_get_uint64( in ir_ia32x64_ia32_registers_to_cper()966 register_state.Ecx = (UINT32)json_object_get_uint64( in ir_ia32x64_ia32_registers_to_cper()[all …]