[apple/xnu.git] / osfmk / i386 / machine_check.c

/*
 * Copyright (c) 2007 Apple Inc. All rights reserved.
 *
 * @APPLE_OSREFERENCE_LICENSE_HEADER_START@
 * 
 * This file contains Original Code and/or Modifications of Original Code
 * as defined in and that are subject to the Apple Public Source License
 * Version 2.0 (the 'License'). You may not use this file except in
 * compliance with the License. The rights granted to you under the License
 * may not be used to create, or enable the creation or redistribution of,
 * unlawful or unlicensed copies of an Apple operating system, or to
 * circumvent, violate, or enable the circumvention or violation of, any
 * terms of an Apple operating system software license agreement.
 * 
 * Please obtain a copy of the License at
 * http://www.opensource.apple.com/apsl/ and read it before using this file.
 * 
 * The Original Code and all software distributed under the License are
 * distributed on an 'AS IS' basis, WITHOUT WARRANTY OF ANY KIND, EITHER
 * EXPRESS OR IMPLIED, AND APPLE HEREBY DISCLAIMS ALL SUCH WARRANTIES,
 * INCLUDING WITHOUT LIMITATION, ANY WARRANTIES OF MERCHANTABILITY,
 * FITNESS FOR A PARTICULAR PURPOSE, QUIET ENJOYMENT OR NON-INFRINGEMENT.
 * Please see the License for the specific language governing rights and
 * limitations under the License.
 * 
 * @APPLE_OSREFERENCE_LICENSE_HEADER_END@
 */

#include <kern/kalloc.h>
#include <i386/cpu_data.h>
#include <i386/cpuid.h>
#include <i386/machine_check.h>
#include <i386/proc_reg.h>

#define IF(bool,str)	((bool) ? (str) : "")

static boolean_t	mca_initialized = FALSE;
static boolean_t	mca_MCE_present = FALSE;
static boolean_t	mca_MCA_present = FALSE;
static uint32_t		mca_family = 0;
static unsigned int	mca_error_bank_count = 0;
static boolean_t	mca_control_MSR_present = FALSE;
static boolean_t	mca_threshold_status_present = FALSE;
static boolean_t	mca_extended_MSRs_present = FALSE;
static unsigned int	mca_extended_MSRs_count = 0;
static ia32_mcg_cap_t	ia32_mcg_cap;
static boolean_t	mca_exception_taken = FALSE;

decl_simple_lock_data(static, mca_lock);

typedef struct {
	ia32_mci_ctl_t		mca_mci_ctl;
	ia32_mci_status_t	mca_mci_status;
	ia32_mci_misc_t		mca_mci_misc;
	ia32_mci_addr_t		mca_mci_addr;
} mca_mci_bank_t;

typedef struct mca_state {
	ia32_mcg_ctl_t		mca_mcg_ctl;
	ia32_mcg_status_t	mca_mcg_status;
	mca_mci_bank_t		mca_error_bank[0];
} mca_state_t;

static void
mca_get_availability(void)
{
	uint64_t	features = cpuid_info()->cpuid_features;
	uint32_t	family =  cpuid_info()->cpuid_family;

	mca_MCE_present = (features & CPUID_FEATURE_MCE) != 0;
	mca_MCA_present = (features & CPUID_FEATURE_MCA) != 0;
	mca_family = family;
	
	/*
	 * If MCA, the number of banks etc is reported by the IA32_MCG_CAP MSR.
	 */
	if (mca_MCA_present) {
		ia32_mcg_cap.u64 = rdmsr64(IA32_MCG_CAP);
		mca_error_bank_count = ia32_mcg_cap.bits.count;
		mca_control_MSR_present = ia32_mcg_cap.bits.mcg_ctl_p;
		mca_threshold_status_present = ia32_mcg_cap.bits.mcg_tes_p;
		if (family == 0x0F) {
			mca_extended_MSRs_present = ia32_mcg_cap.bits.mcg_ext_p;
			mca_extended_MSRs_count = ia32_mcg_cap.bits.mcg_ext_cnt;
		}
	}
}

void
mca_cpu_init(void)
{
	unsigned int	i;

	/*
	 * The first (boot) processor is responsible for discovering the
	 * machine check architecture present on this machine.
	 */
	if (!mca_initialized) {
		mca_get_availability();
		mca_initialized = TRUE;
		simple_lock_init(&mca_lock, 0);
	}

	if (mca_MCA_present) {

		/* Enable all MCA features */
		if (mca_control_MSR_present)
			wrmsr64(IA32_MCG_CTL, IA32_MCG_CTL_ENABLE);
	
		switch (mca_family) {
		case 0x06:
			/* Enable all but mc0 */
			for (i = 1; i < mca_error_bank_count; i++)
				wrmsr64(IA32_MCi_CTL(i),0xFFFFFFFFFFFFFFFFULL); 
			
			/* Clear all errors */
			for (i = 0; i < mca_error_bank_count; i++)
				wrmsr64(IA32_MCi_STATUS(i), 0ULL);
			break;
		case 0x0F:
			/* Enable all banks */
			for (i = 0; i < mca_error_bank_count; i++)
				wrmsr64(IA32_MCi_CTL(i),0xFFFFFFFFFFFFFFFFULL); 
			
			/* Clear all errors */
			for (i = 0; i < mca_error_bank_count; i++)
				wrmsr64(IA32_MCi_STATUS(i), 0ULL);
			break;
		}
	}

	/* Enable machine check exception handling if available */
	if (mca_MCE_present) {
		set_cr4(get_cr4()|CR4_MCE);
	}
}

void
mca_cpu_alloc(cpu_data_t	*cdp)
{
	vm_size_t	mca_state_size;

	/*
	 * Allocate space for an array of error banks.
	 */
	mca_state_size = sizeof(mca_state_t) +
				sizeof(mca_mci_bank_t) * mca_error_bank_count;
	cdp->cpu_mca_state = kalloc(mca_state_size);
	if (cdp->cpu_mca_state == NULL) {
		printf("mca_cpu_alloc() failed for cpu %d\n", cdp->cpu_number);
		return;
	}
	bzero((void *) cdp->cpu_mca_state, mca_state_size);

	/*
	 * If the boot processor is yet have its allocation made,
	 * do this now.
	 */
	if (cpu_datap(master_cpu)->cpu_mca_state == NULL)
		mca_cpu_alloc(cpu_datap(master_cpu));
}

static void
mca_save_state(void)
{
	mca_state_t	*mca_state;
	mca_mci_bank_t  *bank;
	unsigned int	i;

	assert(!ml_get_interrupts_enabled() || get_preemption_level() > 0);

	mca_state = (mca_state_t *) current_cpu_datap()->cpu_mca_state;
	if  (mca_state == NULL)
		return;

	mca_state->mca_mcg_ctl = mca_control_MSR_present ?
					rdmsr64(IA32_MCG_CTL) : 0ULL;	
	mca_state->mca_mcg_status.u64 = rdmsr64(IA32_MCG_STATUS);

 	bank = (mca_mci_bank_t *) &mca_state->mca_error_bank[0];
	for (i = 0; i < mca_error_bank_count; i++, bank++) {
		bank->mca_mci_ctl        = rdmsr64(IA32_MCi_CTL(i));	
		bank->mca_mci_status.u64 = rdmsr64(IA32_MCi_STATUS(i));	
		if (!bank->mca_mci_status.bits.val)
			continue;
		bank->mca_mci_misc = (bank->mca_mci_status.bits.miscv)?
					rdmsr64(IA32_MCi_MISC(i)) : 0ULL;	
		bank->mca_mci_addr = (bank->mca_mci_status.bits.addrv)?
					rdmsr64(IA32_MCi_ADDR(i)) : 0ULL;	
	} 
}

void
mca_check_save(void)
{
	if (mca_exception_taken)
		mca_save_state();
}

static void mca_dump_64bit_state(void)
{
	kdb_printf("Extended Machine Check State:\n");
	kdb_printf("  IA32_MCG_RAX:    0x%016qx\n", rdmsr64(IA32_MCG_RAX));
	kdb_printf("  IA32_MCG_RBX:    0x%016qx\n", rdmsr64(IA32_MCG_RBX));
	kdb_printf("  IA32_MCG_RCX:    0x%016qx\n", rdmsr64(IA32_MCG_RCX));
	kdb_printf("  IA32_MCG_RDX:    0x%016qx\n", rdmsr64(IA32_MCG_RDX));
	kdb_printf("  IA32_MCG_RSI:    0x%016qx\n", rdmsr64(IA32_MCG_RSI));
	kdb_printf("  IA32_MCG_RDI:    0x%016qx\n", rdmsr64(IA32_MCG_RDI));
	kdb_printf("  IA32_MCG_RBP:    0x%016qx\n", rdmsr64(IA32_MCG_RBP));
	kdb_printf("  IA32_MCG_RSP:    0x%016qx\n", rdmsr64(IA32_MCG_RSP));
	kdb_printf("  IA32_MCG_RFLAGS: 0x%016qx\n", rdmsr64(IA32_MCG_RFLAGS));
	kdb_printf("  IA32_MCG_RIP:    0x%016qx\n", rdmsr64(IA32_MCG_RIP));
	kdb_printf("  IA32_MCG_MISC:   0x%016qx\n", rdmsr64(IA32_MCG_MISC));
	kdb_printf("  IA32_MCG_R8:     0x%016qx\n", rdmsr64(IA32_MCG_R8));
	kdb_printf("  IA32_MCG_R9:     0x%016qx\n", rdmsr64(IA32_MCG_R9));
	kdb_printf("  IA32_MCG_R10:    0x%016qx\n", rdmsr64(IA32_MCG_R10));
	kdb_printf("  IA32_MCG_R11:    0x%016qx\n", rdmsr64(IA32_MCG_R11));
	kdb_printf("  IA32_MCG_R12:    0x%016qx\n", rdmsr64(IA32_MCG_R12));
	kdb_printf("  IA32_MCG_R13:    0x%016qx\n", rdmsr64(IA32_MCG_R13));
	kdb_printf("  IA32_MCG_R14:    0x%016qx\n", rdmsr64(IA32_MCG_R14));
	kdb_printf("  IA32_MCG_R15:    0x%016qx\n", rdmsr64(IA32_MCG_R15));
}

static uint32_t rdmsr32(uint32_t msr)
{
	return (uint32_t) rdmsr64(msr);
}

static void mca_dump_32bit_state(void)
{
	kdb_printf("Extended Machine Check State:\n");
	kdb_printf("  IA32_MCG_EAX:    0x%08x\n", rdmsr32(IA32_MCG_EAX));
	kdb_printf("  IA32_MCG_EBX:    0x%08x\n", rdmsr32(IA32_MCG_EBX));
	kdb_printf("  IA32_MCG_ECX:    0x%08x\n", rdmsr32(IA32_MCG_ECX));
	kdb_printf("  IA32_MCG_EDX:    0x%08x\n", rdmsr32(IA32_MCG_EDX));
	kdb_printf("  IA32_MCG_ESI:    0x%08x\n", rdmsr32(IA32_MCG_ESI));
	kdb_printf("  IA32_MCG_EDI:    0x%08x\n", rdmsr32(IA32_MCG_EDI));
	kdb_printf("  IA32_MCG_EBP:    0x%08x\n", rdmsr32(IA32_MCG_EBP));
	kdb_printf("  IA32_MCG_ESP:    0x%08x\n", rdmsr32(IA32_MCG_ESP));
	kdb_printf("  IA32_MCG_EFLAGS: 0x%08x\n", rdmsr32(IA32_MCG_EFLAGS));
	kdb_printf("  IA32_MCG_EIP:    0x%08x\n", rdmsr32(IA32_MCG_EIP));
	kdb_printf("  IA32_MCG_MISC:   0x%08x\n", rdmsr32(IA32_MCG_MISC));
}

static const char *mca_threshold_status[] = {
	[THRESHOLD_STATUS_NO_TRACKING]	"No tracking",
	[THRESHOLD_STATUS_GREEN]	"Green",
	[THRESHOLD_STATUS_YELLOW]	"Yellow",
	[THRESHOLD_STATUS_RESERVED]	"Reserved"
};

static void
mca_dump_error_banks(void)
{
	unsigned int 		i;
	ia32_mci_status_t	status;

	kdb_printf("MCA error-reporting registers:\n");
	for (i = 0; i < mca_error_bank_count; i++ ) {
		status.u64 = rdmsr64(IA32_MCi_STATUS(i));
		kdb_printf(
			" IA32_MC%d_STATUS(0x%x): 0x%016qx %svalid\n",
			i, IA32_MCi_STATUS(i), status.u64,
			IF(!status.bits.val, "in"));
		if (!status.bits.val)
			continue;
		kdb_printf(
			"  MCA error code           : 0x%04x\n",
			status.bits.mca_error);
		kdb_printf(
			"  Model specific error code: 0x%04x\n",
			status.bits.model_specific_error);
		if (!mca_threshold_status_present) {
			kdb_printf(
				"  Other information        : 0x%08x\n",
				status.bits.other_information);
		} else {
			int	threshold = status.bits_tes_p.threshold;
			kdb_printf(
				"  Other information        : 0x%08x\n"
			        "  Threshold-based status   : %s\n",
				status.bits_tes_p.other_information,
				(status.bits_tes_p.uc == 0) ?
					mca_threshold_status[threshold] :
					"Undefined");
		}
		kdb_printf(
			"  Status bits:\n%s%s%s%s%s%s",
			IF(status.bits.pcc,   "   Processor context corrupt\n"),
			IF(status.bits.addrv, "   ADDR register valid\n"),
			IF(status.bits.miscv, "   MISC register valid\n"),
			IF(status.bits.en,    "   Error enabled\n"),
			IF(status.bits.uc,    "   Uncorrected error\n"),
			IF(status.bits.over,  "   Error overflow\n"));
		if (status.bits.addrv)
			kdb_printf(
				"  IA32_MC%d_ADDR(0x%x): 0x%016qx\n",
				i, IA32_MCi_ADDR(i), rdmsr64(IA32_MCi_ADDR(i)));
		if (status.bits.miscv)
			kdb_printf(
				"  IA32_MC%d_MISC(0x%x): 0x%016qx\n",
				i, IA32_MCi_MISC(i), rdmsr64(IA32_MCi_MISC(i)));
	}
}

void
mca_dump(void)
{
	ia32_mcg_status_t	status;

	mca_exception_taken = TRUE;
	mca_save_state();

	/* Serialize in case of multiple simultaneous machine-checks */
	simple_lock(&mca_lock);

	/*
	 * Report machine-check capabilities:
	 */
	kdb_printf(
		"Machine-check capabilities (cpu %d) 0x%016qx:\n",
		cpu_number(), ia32_mcg_cap.u64);
	kdb_printf(
		" %d error-reporting banks\n%s%s", mca_error_bank_count,
		IF(mca_control_MSR_present,
		   " control MSR present\n"),
		IF(mca_threshold_status_present,
		   " threshold-based error status present\n"));
	if (mca_extended_MSRs_present)
		kdb_printf(
			" %d extended MSRs present\n", mca_extended_MSRs_count);
 
	/*
	 * Report machine-check status:
	 */
	status.u64 = rdmsr64(IA32_MCG_STATUS);
	kdb_printf(
		"Machine-check status 0x%016qx\n%s%s%s", status.u64,
		IF(status.bits.ripv, " restart IP valid\n"),
		IF(status.bits.eipv, " error IP valid\n"),
		IF(status.bits.mcip, " machine-check in progress\n"));

	/*
	 * Dump error-reporting registers:
	 */
	mca_dump_error_banks();

	/*
	 * Dump any extended machine state:
	 */
	if (mca_extended_MSRs_present) {
		if (cpu_mode_is64bit())
			mca_dump_64bit_state();
		else
			mca_dump_32bit_state();
	}

	simple_unlock(&mca_lock);
}
Commit	Line	Data
0c530ab8 A	1	/*
	2	* Copyright (c) 2007 Apple Inc. All rights reserved.
	3	*
	4	* @APPLE_OSREFERENCE_LICENSE_HEADER_START@
	5	*
	6	* This file contains Original Code and/or Modifications of Original Code
	7	* as defined in and that are subject to the Apple Public Source License
	8	* Version 2.0 (the 'License'). You may not use this file except in
	9	* compliance with the License. The rights granted to you under the License
	10	* may not be used to create, or enable the creation or redistribution of,
	11	* unlawful or unlicensed copies of an Apple operating system, or to
	12	* circumvent, violate, or enable the circumvention or violation of, any
	13	* terms of an Apple operating system software license agreement.
	14	*
	15	* Please obtain a copy of the License at
	16	* http://www.opensource.apple.com/apsl/ and read it before using this file.
	17	*
	18	* The Original Code and all software distributed under the License are
	19	* distributed on an 'AS IS' basis, WITHOUT WARRANTY OF ANY KIND, EITHER
	20	* EXPRESS OR IMPLIED, AND APPLE HEREBY DISCLAIMS ALL SUCH WARRANTIES,
	21	* INCLUDING WITHOUT LIMITATION, ANY WARRANTIES OF MERCHANTABILITY,
	22	* FITNESS FOR A PARTICULAR PURPOSE, QUIET ENJOYMENT OR NON-INFRINGEMENT.
	23	* Please see the License for the specific language governing rights and
	24	* limitations under the License.
	25	*
	26	* @APPLE_OSREFERENCE_LICENSE_HEADER_END@
	27	*/
	28
2d21ac55	29	#include <kern/kalloc.h>
0c530ab8 A	30	#include <i386/cpu_data.h>
	31	#include <i386/cpuid.h>
	32	#include <i386/machine_check.h>
	33	#include <i386/proc_reg.h>
	34
	35	#define IF(bool,str) ((bool) ? (str) : "")
	36
	37	static boolean_t mca_initialized = FALSE;
	38	static boolean_t mca_MCE_present = FALSE;
	39	static boolean_t mca_MCA_present = FALSE;
2d21ac55	40	static uint32_t mca_family = 0;
0c530ab8 A	41	static unsigned int mca_error_bank_count = 0;
	42	static boolean_t mca_control_MSR_present = FALSE;
	43	static boolean_t mca_threshold_status_present = FALSE;
	44	static boolean_t mca_extended_MSRs_present = FALSE;
	45	static unsigned int mca_extended_MSRs_count = 0;
	46	static ia32_mcg_cap_t ia32_mcg_cap;
2d21ac55 A	47	static boolean_t mca_exception_taken = FALSE;
	48
	49	decl_simple_lock_data(static, mca_lock);
	50
	51	typedef struct {
	52	ia32_mci_ctl_t mca_mci_ctl;
	53	ia32_mci_status_t mca_mci_status;
	54	ia32_mci_misc_t mca_mci_misc;
	55	ia32_mci_addr_t mca_mci_addr;
	56	} mca_mci_bank_t;
	57
	58	typedef struct mca_state {
	59	ia32_mcg_ctl_t mca_mcg_ctl;
	60	ia32_mcg_status_t mca_mcg_status;
	61	mca_mci_bank_t mca_error_bank[0];
	62	} mca_state_t;
0c530ab8 A	63
	64	static void
	65	mca_get_availability(void)
	66	{
	67	uint64_t features = cpuid_info()->cpuid_features;
	68	uint32_t family = cpuid_info()->cpuid_family;
	69
	70	mca_MCE_present = (features & CPUID_FEATURE_MCE) != 0;
	71	mca_MCA_present = (features & CPUID_FEATURE_MCA) != 0;
2d21ac55	72	mca_family = family;
0c530ab8 A	73
	74	/*
	75	* If MCA, the number of banks etc is reported by the IA32_MCG_CAP MSR.
	76	*/
	77	if (mca_MCA_present) {
	78	ia32_mcg_cap.u64 = rdmsr64(IA32_MCG_CAP);
	79	mca_error_bank_count = ia32_mcg_cap.bits.count;
	80	mca_control_MSR_present = ia32_mcg_cap.bits.mcg_ctl_p;
	81	mca_threshold_status_present = ia32_mcg_cap.bits.mcg_tes_p;
	82	if (family == 0x0F) {
	83	mca_extended_MSRs_present = ia32_mcg_cap.bits.mcg_ext_p;
	84	mca_extended_MSRs_count = ia32_mcg_cap.bits.mcg_ext_cnt;
	85	}
	86	}
	87	}
	88
	89	void
	90	mca_cpu_init(void)
	91	{
	92	unsigned int i;
	93
	94	/*
	95	* The first (boot) processor is responsible for discovering the
	96	* machine check architecture present on this machine.
	97	*/
	98	if (!mca_initialized) {
	99	mca_get_availability();
	100	mca_initialized = TRUE;
2d21ac55	101	simple_lock_init(&mca_lock, 0);
0c530ab8 A	102	}
	103
	104	if (mca_MCA_present) {
	105
	106	/* Enable all MCA features */
	107	if (mca_control_MSR_present)
	108	wrmsr64(IA32_MCG_CTL, IA32_MCG_CTL_ENABLE);
	109
2d21ac55	110	switch (mca_family) {
0c530ab8 A	111	case 0x06:
	112	/* Enable all but mc0 */
	113	for (i = 1; i < mca_error_bank_count; i++)
	114	wrmsr64(IA32_MCi_CTL(i),0xFFFFFFFFFFFFFFFFULL);
	115
	116	/* Clear all errors */
	117	for (i = 0; i < mca_error_bank_count; i++)
	118	wrmsr64(IA32_MCi_STATUS(i), 0ULL);
	119	break;
	120	case 0x0F:
	121	/* Enable all banks */
	122	for (i = 0; i < mca_error_bank_count; i++)
	123	wrmsr64(IA32_MCi_CTL(i),0xFFFFFFFFFFFFFFFFULL);
	124
	125	/* Clear all errors */
	126	for (i = 0; i < mca_error_bank_count; i++)
	127	wrmsr64(IA32_MCi_STATUS(i), 0ULL);
	128	break;
	129	}
	130	}
	131
	132	/* Enable machine check exception handling if available */
	133	if (mca_MCE_present) {
	134	set_cr4(get_cr4()\|CR4_MCE);
	135	}
	136	}
	137
2d21ac55 A	138	void
	139	mca_cpu_alloc(cpu_data_t *cdp)
	140	{
	141	vm_size_t mca_state_size;
	142
	143	/*
	144	* Allocate space for an array of error banks.
	145	*/
	146	mca_state_size = sizeof(mca_state_t) +
	147	sizeof(mca_mci_bank_t) * mca_error_bank_count;
	148	cdp->cpu_mca_state = kalloc(mca_state_size);
	149	if (cdp->cpu_mca_state == NULL) {
	150	printf("mca_cpu_alloc() failed for cpu %d\n", cdp->cpu_number);
	151	return;
	152	}
	153	bzero((void *) cdp->cpu_mca_state, mca_state_size);
	154
	155	/*
	156	* If the boot processor is yet have its allocation made,
	157	* do this now.
	158	*/
	159	if (cpu_datap(master_cpu)->cpu_mca_state == NULL)
	160	mca_cpu_alloc(cpu_datap(master_cpu));
	161	}
	162
	163	static void
	164	mca_save_state(void)
	165	{
	166	mca_state_t *mca_state;
	167	mca_mci_bank_t *bank;
	168	unsigned int i;
	169
	170	assert(!ml_get_interrupts_enabled() \|\| get_preemption_level() > 0);
	171
	172	mca_state = (mca_state_t *) current_cpu_datap()->cpu_mca_state;
	173	if (mca_state == NULL)
	174	return;
	175
	176	mca_state->mca_mcg_ctl = mca_control_MSR_present ?
	177	rdmsr64(IA32_MCG_CTL) : 0ULL;
	178	mca_state->mca_mcg_status.u64 = rdmsr64(IA32_MCG_STATUS);
	179
	180	bank = (mca_mci_bank_t *) &mca_state->mca_error_bank[0];
	181	for (i = 0; i < mca_error_bank_count; i++, bank++) {
	182	bank->mca_mci_ctl = rdmsr64(IA32_MCi_CTL(i));
	183	bank->mca_mci_status.u64 = rdmsr64(IA32_MCi_STATUS(i));
	184	if (!bank->mca_mci_status.bits.val)
	185	continue;
	186	bank->mca_mci_misc = (bank->mca_mci_status.bits.miscv)?
	187	rdmsr64(IA32_MCi_MISC(i)) : 0ULL;
	188	bank->mca_mci_addr = (bank->mca_mci_status.bits.addrv)?
	189	rdmsr64(IA32_MCi_ADDR(i)) : 0ULL;
	190	}
	191	}
	192
	193	void
	194	mca_check_save(void)
	195	{
	196	if (mca_exception_taken)
	197	mca_save_state();
	198	}
	199
0c530ab8 A	200	static void mca_dump_64bit_state(void)
	201	{
	202	kdb_printf("Extended Machine Check State:\n");
	203	kdb_printf(" IA32_MCG_RAX: 0x%016qx\n", rdmsr64(IA32_MCG_RAX));
	204	kdb_printf(" IA32_MCG_RBX: 0x%016qx\n", rdmsr64(IA32_MCG_RBX));
	205	kdb_printf(" IA32_MCG_RCX: 0x%016qx\n", rdmsr64(IA32_MCG_RCX));
	206	kdb_printf(" IA32_MCG_RDX: 0x%016qx\n", rdmsr64(IA32_MCG_RDX));
	207	kdb_printf(" IA32_MCG_RSI: 0x%016qx\n", rdmsr64(IA32_MCG_RSI));
	208	kdb_printf(" IA32_MCG_RDI: 0x%016qx\n", rdmsr64(IA32_MCG_RDI));
	209	kdb_printf(" IA32_MCG_RBP: 0x%016qx\n", rdmsr64(IA32_MCG_RBP));
	210	kdb_printf(" IA32_MCG_RSP: 0x%016qx\n", rdmsr64(IA32_MCG_RSP));
	211	kdb_printf(" IA32_MCG_RFLAGS: 0x%016qx\n", rdmsr64(IA32_MCG_RFLAGS));
	212	kdb_printf(" IA32_MCG_RIP: 0x%016qx\n", rdmsr64(IA32_MCG_RIP));
	213	kdb_printf(" IA32_MCG_MISC: 0x%016qx\n", rdmsr64(IA32_MCG_MISC));
	214	kdb_printf(" IA32_MCG_R8: 0x%016qx\n", rdmsr64(IA32_MCG_R8));
	215	kdb_printf(" IA32_MCG_R9: 0x%016qx\n", rdmsr64(IA32_MCG_R9));
	216	kdb_printf(" IA32_MCG_R10: 0x%016qx\n", rdmsr64(IA32_MCG_R10));
	217	kdb_printf(" IA32_MCG_R11: 0x%016qx\n", rdmsr64(IA32_MCG_R11));
	218	kdb_printf(" IA32_MCG_R12: 0x%016qx\n", rdmsr64(IA32_MCG_R12));
	219	kdb_printf(" IA32_MCG_R13: 0x%016qx\n", rdmsr64(IA32_MCG_R13));
	220	kdb_printf(" IA32_MCG_R14: 0x%016qx\n", rdmsr64(IA32_MCG_R14));
	221	kdb_printf(" IA32_MCG_R15: 0x%016qx\n", rdmsr64(IA32_MCG_R15));
	222	}
	223
	224	static uint32_t rdmsr32(uint32_t msr)
	225	{
	226	return (uint32_t) rdmsr64(msr);
	227	}
	228
	229	static void mca_dump_32bit_state(void)
	230	{
	231	kdb_printf("Extended Machine Check State:\n");
	232	kdb_printf(" IA32_MCG_EAX: 0x%08x\n", rdmsr32(IA32_MCG_EAX));
	233	kdb_printf(" IA32_MCG_EBX: 0x%08x\n", rdmsr32(IA32_MCG_EBX));
	234	kdb_printf(" IA32_MCG_ECX: 0x%08x\n", rdmsr32(IA32_MCG_ECX));
	235	kdb_printf(" IA32_MCG_EDX: 0x%08x\n", rdmsr32(IA32_MCG_EDX));
	236	kdb_printf(" IA32_MCG_ESI: 0x%08x\n", rdmsr32(IA32_MCG_ESI));
	237	kdb_printf(" IA32_MCG_EDI: 0x%08x\n", rdmsr32(IA32_MCG_EDI));
	238	kdb_printf(" IA32_MCG_EBP: 0x%08x\n", rdmsr32(IA32_MCG_EBP));
	239	kdb_printf(" IA32_MCG_ESP: 0x%08x\n", rdmsr32(IA32_MCG_ESP));
	240	kdb_printf(" IA32_MCG_EFLAGS: 0x%08x\n", rdmsr32(IA32_MCG_EFLAGS));
	241	kdb_printf(" IA32_MCG_EIP: 0x%08x\n", rdmsr32(IA32_MCG_EIP));
	242	kdb_printf(" IA32_MCG_MISC: 0x%08x\n", rdmsr32(IA32_MCG_MISC));
	243	}
	244
	245	static const char *mca_threshold_status[] = {
	246	[THRESHOLD_STATUS_NO_TRACKING] "No tracking",
	247	[THRESHOLD_STATUS_GREEN] "Green",
	248	[THRESHOLD_STATUS_YELLOW] "Yellow",
	249	[THRESHOLD_STATUS_RESERVED] "Reserved"
	250	};
	251
	252	static void
	253	mca_dump_error_banks(void)
	254	{
	255	unsigned int i;
	256	ia32_mci_status_t status;
	257
	258	kdb_printf("MCA error-reporting registers:\n");
	259	for (i = 0; i < mca_error_bank_count; i++ ) {
	260	status.u64 = rdmsr64(IA32_MCi_STATUS(i));
	261	kdb_printf(
	262	" IA32_MC%d_STATUS(0x%x): 0x%016qx %svalid\n",
	263	i, IA32_MCi_STATUS(i), status.u64,
264	IF(!status.bits.val, "in"));
265	if (!status.bits.val)
266	continue;
267	kdb_printf(
268	" MCA error code : 0x%04x\n",
269	status.bits.mca_error);
270	kdb_printf(
271	" Model specific error code: 0x%04x\n",
272	status.bits.model_specific_error);
273	if (!mca_threshold_status_present) {
274	kdb_printf(
275	" Other information : 0x%08x\n",
276	status.bits.other_information);
277	} else {
278	int threshold = status.bits_tes_p.threshold;
279	kdb_printf(
280	" Other information : 0x%08x\n"
281	" Threshold-based status : %s\n",
282	status.bits_tes_p.other_information,
283	(status.bits_tes_p.uc == 0) ?
284	mca_threshold_status[threshold] :
285	"Undefined");
286	}
287	kdb_printf(
288	" Status bits:\n%s%s%s%s%s%s",
289	IF(status.bits.pcc, " Processor context corrupt\n"),
290	IF(status.bits.addrv, " ADDR register valid\n"),
291	IF(status.bits.miscv, " MISC register valid\n"),
292	IF(status.bits.en, " Error enabled\n"),
293	IF(status.bits.uc, " Uncorrected error\n"),
294	IF(status.bits.over, " Error overflow\n"));
295	if (status.bits.addrv)
296	kdb_printf(
297	" IA32_MC%d_ADDR(0x%x): 0x%016qx\n",
298	i, IA32_MCi_ADDR(i), rdmsr64(IA32_MCi_ADDR(i)));
299	if (status.bits.miscv)
300	kdb_printf(
301	" IA32_MC%d_MISC(0x%x): 0x%016qx\n",
302	i, IA32_MCi_MISC(i), rdmsr64(IA32_MCi_MISC(i)));
303	}
304	}
305
306	void
307	mca_dump(void)
308	{
309	ia32_mcg_status_t status;
310
2d21ac55 A	311	mca_exception_taken = TRUE;
	312	mca_save_state();
	313
	314	/* Serialize in case of multiple simultaneous machine-checks */
	315	simple_lock(&mca_lock);
	316
0c530ab8 A	317	/*
	318	* Report machine-check capabilities:
	319	*/
	320	kdb_printf(
2d21ac55 A	321	"Machine-check capabilities (cpu %d) 0x%016qx:\n",
2d21ac55 A	322	cpu_number(), ia32_mcg_cap.u64);
0c530ab8 A	323	kdb_printf(
	324	" %d error-reporting banks\n%s%s", mca_error_bank_count,
	325	IF(mca_control_MSR_present,
	326	" control MSR present\n"),
	327	IF(mca_threshold_status_present,
	328	" threshold-based error status present\n"));
	329	if (mca_extended_MSRs_present)
	330	kdb_printf(
	331	" %d extended MSRs present\n", mca_extended_MSRs_count);
	332
	333	/*
	334	* Report machine-check status:
	335	*/
	336	status.u64 = rdmsr64(IA32_MCG_STATUS);
	337	kdb_printf(
	338	"Machine-check status 0x%016qx\n%s%s%s", status.u64,
	339	IF(status.bits.ripv, " restart IP valid\n"),
	340	IF(status.bits.eipv, " error IP valid\n"),
	341	IF(status.bits.mcip, " machine-check in progress\n"));
	342
	343	/*
	344	* Dump error-reporting registers:
	345	*/
	346	mca_dump_error_banks();
	347
	348	/*
	349	* Dump any extended machine state:
	350	*/
	351	if (mca_extended_MSRs_present) {
	352	if (cpu_mode_is64bit())
	353	mca_dump_64bit_state();
	354	else
	355	mca_dump_32bit_state();
	356	}
2d21ac55 A	357
2d21ac55 A	358	simple_unlock(&mca_lock);
0c530ab8	359	}