log src/os_cpu/bsd_x86/vm/bsd_x86_32.ad @ 4872:aa3d708d67c4

age author description
Sun, 25 Sep 2011 16:03:29 -0700 never 7089790: integrate bsd-port changes