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