kernel/eka/include/nkernsmp/x86/ncern.h
branchGCC_SURGE
changeset 235 cbd07013118c
parent 201 43365a9b78a3
child 257 3e88ff8f41d5