linux-stable/arch/x86/platform/uv
..
bios_uv.c
Makefile
uv_irq.c
uv_nmi.c
uv_time.c