../../ia32/src/userspace.c