acrn-kernel/drivers/misc/sgi-xp
..
Makefile
xp.h
xp_main.c
xp_uv.c
xpc.h
xpc_channel.c
xpc_main.c
xpc_partition.c
xpc_uv.c
xpnet.c