K 10 svn:author V 3 jhb K 8 svn:date V 27 2007-12-06T22:00:05.000000Z K 7 svn:log V 117 MFC: Add kern_msgsnd() and kern_msgrcv() and use them to fix msgsnd() and msgrcv() in 32-bit ABIs on 64-bit kernels. END