diff options
| author | phk <phk@FreeBSD.org> | 2004-08-14 08:33:49 +0000 |
|---|---|---|
| committer | phk <phk@FreeBSD.org> | 2004-08-14 08:33:49 +0000 |
| commit | 9595df2db163188aeab78003c49df90f4f2bed2b (patch) | |
| tree | b31750d2e527f3211c130aadbe15b07b25567db8 /sys/kern | |
| parent | ae4d7bb6b92bc638d5d93af1d1c6ff0988069e4c (diff) | |
| download | FreeBSD-src-9595df2db163188aeab78003c49df90f4f2bed2b.zip FreeBSD-src-9595df2db163188aeab78003c49df90f4f2bed2b.tar.gz | |
Add some KASSERTS.
Diffstat (limited to 'sys/kern')
| -rw-r--r-- | sys/kern/kern_tc.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/sys/kern/kern_tc.c b/sys/kern/kern_tc.c index f2a12a8..984d237 100644 --- a/sys/kern/kern_tc.c +++ b/sys/kern/kern_tc.c @@ -558,6 +558,7 @@ pps_ioctl(u_long cmd, caddr_t data, struct pps_state *pps) struct pps_kcbind_args *kapi; #endif + KASSERT(pps != NULL, ("NULL pps pointer in pps_ioctl")); switch (cmd) { case PPS_IOC_CREATE: return (0); @@ -621,6 +622,7 @@ pps_capture(struct pps_state *pps) { struct timehands *th; + KASSERT(pps != NULL, ("NULL pps pointer in pps_capture")); th = timehands; pps->capgen = th->th_generation; pps->capth = th; @@ -638,6 +640,7 @@ pps_event(struct pps_state *pps, int event) int foff, fhard; pps_seq_t *pseq; + KASSERT(pps != NULL, ("NULL pps pointer in pps_event")); /* If the timecounter was wound up underneath us, bail out. */ if (pps->capgen == 0 || pps->capgen != pps->capth->th_generation) return; |
