/* * sysmonkqfilter: * * Kqueue filter for the system monitor device. */