public - Revision 28234: /ps/trunk/source/lib/sysdep/arch/ia32