diff options
| author | xtraeme <xtraeme@NetBSD.org> | 2007-09-03 01:29:51 +0000 |
|---|---|---|
| committer | xtraeme <xtraeme@NetBSD.org> | 2007-09-03 01:29:51 +0000 |
| commit | dee3b63c54f1dc6c8e9e1d802fa4e14cc42de21f (patch) | |
| tree | 8d29855f0a4822df262520c75cc1969cc984e7bc /sys/dev/sysmon | |
| parent | f6f3fbbfc33efe9551187e22ada21353e4033916 (diff) | |
Add some KASSERT(mutex_owned(&foo_lock)).
Diffstat (limited to 'sys/dev/sysmon')
| -rw-r--r-- | sys/dev/sysmon/sysmon_power.c | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/sys/dev/sysmon/sysmon_power.c b/sys/dev/sysmon/sysmon_power.c index 0141f2deff6..151c59729e4 100644 --- a/sys/dev/sysmon/sysmon_power.c +++ b/sys/dev/sysmon/sysmon_power.c @@ -1,4 +1,4 @@ -/* $NetBSD: sysmon_power.c,v 1.22 2007/08/17 16:52:52 pavel Exp $ */ +/* $NetBSD: sysmon_power.c,v 1.23 2007/09/03 01:29:51 xtraeme Exp $ */ /*- * Copyright (c) 2007 The NetBSD Foundation, Inc. @@ -80,7 +80,7 @@ */ #include <sys/cdefs.h> -__KERNEL_RCSID(0, "$NetBSD: sysmon_power.c,v 1.22 2007/08/17 16:52:52 pavel Exp $"); +__KERNEL_RCSID(0, "$NetBSD: sysmon_power.c,v 1.23 2007/09/03 01:29:51 xtraeme Exp $"); #include "opt_compat_netbsd.h" #include <sys/param.h> @@ -196,6 +196,7 @@ sysmon_power_init(void) static int sysmon_queue_power_event(power_event_t *pev) { + KASSERT(mutex_owned(&sysmon_power_event_queue_mtx)); if (sysmon_power_event_queue_count == SYSMON_MAX_POWER_EVENTS) return 0; @@ -217,6 +218,8 @@ sysmon_queue_power_event(power_event_t *pev) static int sysmon_get_power_event(power_event_t *pev) { + KASSERT(mutex_owned(&sysmon_power_event_queue_mtx)); + if (sysmon_power_event_queue_count == 0) return 0; @@ -236,6 +239,8 @@ sysmon_get_power_event(power_event_t *pev) static void sysmon_power_event_queue_flush(void) { + KASSERT(mutex_owned(&sysmon_power_event_queue_mtx)); + sysmon_power_event_queue_head = 0; sysmon_power_event_queue_tail = 0; sysmon_power_event_queue_count = 0; @@ -253,6 +258,8 @@ sysmon_power_daemon_task(void *pev_data, int event) power_event_t pev; int rv, error = 0; + KASSERT(mutex_owned(&sysmon_power_event_queue_mtx)); + /* * If a power management daemon is connected, then simply * deliver the event to them. If not, we need to try to |
