kernel/eka/include/nkernsmp/x86/nk_plat.h
branchGCC_SURGE
changeset 232 9143fc12f708
parent 201 43365a9b78a3