Searched refs:cper_ia32x64_register_32bit_to_ir (Results 1 – 1 of 1) sorted by relevance
26 cper_ia32x64_register_32bit_to_ir(EFI_CONTEXT_IA32_REGISTER_STATE *registers);381 cper_ia32x64_register_32bit_to_ir(register_state); in cper_ia32x64_processor_context_info_to_ir()418 cper_ia32x64_register_32bit_to_ir(EFI_CONTEXT_IA32_REGISTER_STATE *registers) in cper_ia32x64_register_32bit_to_ir() function