Searched refs:x86bios_trace_int (Results 1 – 1 of 1) sorted by relevance
73 static int x86bios_trace_int; variable74 SYSCTL_INT(_debug_x86bios, OID_AUTO, int, CTLFLAG_RWTUN, &x86bios_trace_int, 0,215 if (x86bios_trace_int) in x86bios_intr()225 if (x86bios_trace_int) in x86bios_intr()625 if (x86bios_trace_int) in x86bios_intr()637 if (x86bios_trace_int) { in x86bios_intr()