os/kernelhwsrv/kernel/eka/include/nkernsmp/x86/nk_plat.h
changeset 1 260cb5ec6c19