acrn-kernel/arch/x86/ia32/nosyscall.c