diff options
Diffstat (limited to 'i386')
| -rw-r--r-- | i386/i386/spl.h | 1 | ||||
| -rw-r--r-- | i386/intel/pmap.c | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/i386/i386/spl.h b/i386/i386/spl.h index 41ad225d..834204c4 100644 --- a/i386/i386/spl.h +++ b/i386/i386/spl.h @@ -55,6 +55,7 @@ extern spl_t (spl6)(void); extern spl_t (spltty)(void); extern spl_t (splimp)(void); extern spl_t (splvm)(void); +#define assert_splvm() assert(splvm() == SPL7) extern spl_t (spl7)(void); extern spl_t (splclock)(void); diff --git a/i386/intel/pmap.c b/i386/intel/pmap.c index e43b06c1..21f75eeb 100644 --- a/i386/intel/pmap.c +++ b/i386/intel/pmap.c @@ -3114,6 +3114,7 @@ void process_pmap_updates(pmap_t my_pmap) pmap_t pmap; update_list_p = &cpu_update_list[my_cpu]; + assert_splvm(); simple_lock_nocheck(&update_list_p->lock); for (j = 0; j < update_list_p->count; j++) { |