K 10 svn:author V 4 mike K 8 svn:date V 27 2002-08-25T19:26:31.000000Z K 7 svn:log V 98 Move intrmask_t to the kernel-only section of . Add some comments submitted by bde. END