kernel/eka/nkernsmp/x86/ncirq.cia
changeset 8 8d0f562530b6
parent 0 a41df078684a