d/freebsd-dev
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Add some KASSERTS.

Browse Source
This commit is contained in:
Poul-Henning Kamp 2004-08-14 08:33:49 +00:00
parent f0017f3321
commit d8e8b6755c
Notes: svn2git 2020-12-20 02:59:44 +00:00 
svn path=/head/; revision=133714
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
sys/kern/kern_tc.c
View File

@ -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;