kernel/eka/include/nkernsmp/nkern.h
changeset 259 57b9594f5772
parent 201 43365a9b78a3