From dee3b63c54f1dc6c8e9e1d802fa4e14cc42de21f Mon Sep 17 00:00:00 2001 From: xtraeme Date: Mon, 3 Sep 2007 01:29:51 +0000 Subject: Add some KASSERT(mutex_owned(&foo_lock)). --- sys/dev/sysmon/sysmon_power.c | 11 +++++++++-- 1 file changed, 9 insertions(+), 2 deletions(-) (limited to 'sys/dev') 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 -__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 @@ -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 -- cgit ot/gnu/usr.bin/gcc4/libcpp/arch/sparc/config.h