kernel/eka/include/nkernsmp/nkern.h
changeset 300 1d28c8722707
parent 177 a232af6b0b1f