kernel/eka/include/nkernsmp/nkern.h
changeset 199 189ece41fa29
parent 177 a232af6b0b1f