Searched refs:debug4k_filter (Results 1 – 3 of 3) sorted by relevance
453 extern int debug4k_filter;466 if ((1 << __category) & debug4k_filter) { \
144 int debug4k_filter = 0; variable1293 PE_parse_boot_argn("debug4k_filter", &debug4k_filter, in vm_map_init()1294 sizeof(debug4k_filter)); in vm_map_init()
3006 extern int debug4k_filter;3007 SYSCTL_INT(_vm, OID_AUTO, debug4k_filter, CTLFLAG_RW | CTLFLAG_LOCKED, &debug4k_filter, 0, "");