Name Size Parent Directory - Makefile 83 bios_uv.c 5.2K tlb_uv.c 56K uv_irq.c 5.4K uv_nmi.c 19K uv_sysfs.c 2.2K uv_time.c 9.9K