acrn-kernel/arch/um/os-Linux/sys-x86_64
..
Makefile
registers.c