mm_reg_addr       347 drivers/firmware/efi/cper-x86.c 			       ctx_info->mm_reg_addr);
mm_reg_addr       389 include/linux/cper.h 	u64	mm_reg_addr;