kernel/eka/include/nkernsmp/x86/nk_plat.h
branchGCC_SURGE
changeset 230 ec72eca27576
parent 201 43365a9b78a3