Changeset View

Standalone View

	Show First 20 Lines • Show All 170 Lines • ▼ Show 20 Lines
	#ifdef KDB			#ifdef KDB
	register_t dr6;			register_t dr6;
	#endif			#endif
	int i = 0, ucode = 0;			int i = 0, ucode = 0;
	u_int type;			u_int type;
	register_t addr = 0;			register_t addr = 0;
	ksiginfo_t ksi;			ksiginfo_t ksi;

	PCPU_INC(cnt.v_trap);			VM_CNT_INC(v_trap);
	type = frame->tf_trapno;			type = frame->tf_trapno;

	#ifdef SMP			#ifdef SMP
	/* Handler for NMI IPIs used for stopping CPUs. */			/* Handler for NMI IPIs used for stopping CPUs. */
	if (type == T_NMI) {			if (type == T_NMI) {
	if (ipi_nmi_handler() == 0)			if (ipi_nmi_handler() == 0)
	goto out;			goto out;
	}			}
	▲ Show 20 Lines • Show All 751 Lines • Show Last 20 Lines