os/kernelhwsrv/kernel/eka/nkernsmp/nkern_ext.mmh
changeset 1 260cb5ec6c19