[src/trunk]: src/sys/arch/x86/x86 Remove incorrect KASSERT, only the allocati...

[maxv <maxv%NetBSD.org@localhost>]

details:   https://anonhg.NetBSD.org/src/rev/92c6e9b1e3a8
branches:  trunk
changeset: 825937:92c6e9b1e3a8
user:      maxv <maxv%NetBSD.org@localhost>
date:      Mon Aug 07 17:10:09 2017 +0000

description:
Remove incorrect KASSERT, only the allocation is protected by cpu_lock.

diffstat:

 sys/arch/x86/x86/idt.c |  5 ++---
 1 files changed, 2 insertions(+), 3 deletions(-)

diffs (26 lines):

diff -r 4b41a60900c6 -r 92c6e9b1e3a8 sys/arch/x86/x86/idt.c
--- a/sys/arch/x86/x86/idt.c    Mon Aug 07 13:30:51 2017 +0000
+++ b/sys/arch/x86/x86/idt.c    Mon Aug 07 17:10:09 2017 +0000
@@ -1,4 +1,4 @@
-/*     $NetBSD: idt.c,v 1.4 2016/08/27 14:19:47 maxv Exp $     */
+/*     $NetBSD: idt.c,v 1.5 2017/08/07 17:10:09 maxv Exp $     */
 
 /*-
  * Copyright (c) 1996, 1997, 1998, 2000, 2009 The NetBSD Foundation, Inc.
@@ -65,7 +65,7 @@
  */
 
 #include <sys/cdefs.h>
-__KERNEL_RCSID(0, "$NetBSD: idt.c,v 1.4 2016/08/27 14:19:47 maxv Exp $");
+__KERNEL_RCSID(0, "$NetBSD: idt.c,v 1.5 2017/08/07 17:10:09 maxv Exp $");
 
 #include <sys/param.h>
 #include <sys/systm.h>
@@ -119,7 +119,6 @@
 idt_vec_set(int vec, void (*function)(void))
 {
 
-       KASSERT(mutex_owned(&cpu_lock) || !mp_online);
        KASSERT(idt_allocmap[vec] == 1);
        setgate(&idt[vec], function, 0, SDT_SYS386IGT, SEL_KPL,
            GSEL(GCODE_SEL, SEL_KPL));