kernel/eka/nkernsmp/x86/nccpu.cia
changeset 282 664ff9a1a8fa
parent 0 a41df078684a