badbios           287 arch/x86/kernel/apic/x2apic_uv_x.c 		goto badbios;
badbios           314 arch/x86/kernel/apic/x2apic_uv_x.c 		goto badbios;
badbios           322 arch/x86/kernel/apic/x2apic_uv_x.c badbios: