Searched refs:x86bios_trace_int (Results 1 – 1 of 1) sorted by relevance
75 static int x86bios_trace_int; variable76 SYSCTL_INT(_debug_x86bios, OID_AUTO, int, CTLFLAG_RWTUN, &x86bios_trace_int, 0,217 if (x86bios_trace_int) in x86bios_intr()227 if (x86bios_trace_int) in x86bios_intr()627 if (x86bios_trace_int) in x86bios_intr()639 if (x86bios_trace_int) { in x86bios_intr()