/* * We only define the ones used in linux32_machdep.c, since they are * the same on i386 and amd64... */