kdump: recognize kcov ioctl commands

[Anton Lindqvist]

Hi,
Note that you must be running a fairly recent snapshot including the
sys/kcov.h header in order to compile.

Comments? OK?

diff --git Makefile Makefile
index e1918ae6a70..9c1416f12ef 100644
--- Makefile
+++ Makefile
@@ -39,6 +39,7 @@ ioctl.c: ${.CURDIR}/Makefile ${.CURDIR}/mkioctls
            ${SYS_DIR}/sys/dkio.h \
            ${SYS_DIR}/sys/filio.h \
            ${SYS_DIR}/sys/gpio.h \
+           ${SYS_DIR}/sys/kcov.h \
            ${SYS_DIR}/sys/memrange.h \
            ${SYS_DIR}/sys/mtio.h \
            ${SYS_DIR}/sys/pciio.h \
diff --git mkioctls mkioctls
index 21c66e6b334..1131f856c69 100644
--- mkioctls
+++ mkioctls
@@ -68,6 +68,7 @@ BEGIN {
        print "#include <sys/dkio.h>"
        print "#include <sys/filio.h>"
        print "#include <sys/gpio.h>"
+       print "#include <sys/kcov.h>"
        print "#include <sys/memrange.h>"
        print "#include <sys/mtio.h>"
        print "#include <sys/pciio.h>"
@@ -98,7 +99,7 @@ BEGIN {
        print ""
 }
 
-/^[    ]*#[    ]*define[       
]+(ATAIO|AUDIO_|BIOC|CDIO|CHIO|DIOC|DRM|GPIO|IPMICTL|TIO|FIO|MEMRANGE|MTIOC|LIOC|SIO|OSIO|SESIOC_|SIOC|PCIOC|PIPEX|PPPIOC|PPPOE|PVBUSIOC|RIOC|RND|STRIOC|SCIOC|OSCIOC|TUN|UDLIO|USB|VIDIOC|VNDIOC|VSCSI|WSKBD|WSMOUSE|WSDISPLAY|WSMUX|PTM)[A-Z_0-9]*[
   ]+(DRM)?_IO/ {
+/^[    ]*#[    ]*define[       
]+(ATAIO|AUDIO_|BIOC|CDIO|CHIO|DIOC|DRM|GPIO|IPMICTL|TIO|FIO|KIO|MEMRANGE|MTIOC|LIOC|SIO|OSIO|SESIOC_|SIOC|PCIOC|PIPEX|PPPIOC|PPPOE|PVBUSIOC|RIOC|RND|STRIOC|SCIOC|OSCIOC|TUN|UDLIO|USB|VIDIOC|VNDIOC|VSCSI|WSKBD|WSMOUSE|WSDISPLAY|WSMUX|PTM)[A-Z_0-9]*[
       ]+(DRM)?_IO/ {
 
        # find where the name starts
        for (i = 1; i <= NF; i++)