[src/trunk]: src/sys/kern tty_pty: add CTASSERTs to document assumptions

[yamt <yamt%NetBSD.org@localhost>]

details:   https://anonhg.NetBSD.org/src/rev/6d80ee04f8ac
branches:  trunk
changeset: 793172:6d80ee04f8ac
user:      yamt <yamt%NetBSD.org@localhost>
date:      Wed Jan 29 02:38:48 2014 +0000

description:
tty_pty: add CTASSERTs to document assumptions

diffstat:

 sys/kern/tty_pty.c |  6 ++++--
 1 files changed, 4 insertions(+), 2 deletions(-)

diffs (27 lines):

diff -r 6a2e1c208f29 -r 6d80ee04f8ac sys/kern/tty_pty.c
--- a/sys/kern/tty_pty.c        Wed Jan 29 01:40:35 2014 +0000
+++ b/sys/kern/tty_pty.c        Wed Jan 29 02:38:48 2014 +0000
@@ -1,4 +1,4 @@
-/*     $NetBSD: tty_pty.c,v 1.133 2013/09/15 14:56:26 martin Exp $     */
+/*     $NetBSD: tty_pty.c,v 1.134 2014/01/29 02:38:48 yamt Exp $       */
 
 /*
  * Copyright (c) 1982, 1986, 1989, 1993
@@ -37,7 +37,7 @@
  */
 
 #include <sys/cdefs.h>
-__KERNEL_RCSID(0, "$NetBSD: tty_pty.c,v 1.133 2013/09/15 14:56:26 martin Exp $");
+__KERNEL_RCSID(0, "$NetBSD: tty_pty.c,v 1.134 2014/01/29 02:38:48 yamt Exp $");
 
 #include "opt_ptm.h"
 
@@ -509,6 +509,8 @@
        KASSERT(mutex_owned(&tty_lock));
 
        /* note: FLUSHREAD and FLUSHWRITE already ok */
+       CTASSERT(TIOCPKT_FLUSHREAD == FREAD);
+       CTASSERT(TIOCPKT_FLUSHWRITE == FWRITE);
        if (flush == 0) {
                flush = TIOCPKT_STOP;
                pti->pt_flags |= PF_STOPPED;