sinq_kernel.c revision 3793707e
1