I don't have a machine at hand that I can rebuild the kernel on, but I agree that setting PCB_FULL_IRET should fix the problem.
Russ _______________________________________________ freebsd-current@freebsd.org mailing list http://lists.freebsd.org/mailman/listinfo/freebsd-current To unsubscribe, send any mail to "freebsd-current-unsubscr...@freebsd.org"
