So this went cold. IIRC, someone had tracked the linux32 breakage down to the linux_semctl() changes to use kern_semctl(), but then someone else noticed via printf that linux_semctl() is never called. So, can someone sit down and do a binary date exercise on -CURRENT to figure out when linux32 broke? -- John Baldwin