kernel/eka/include/nkern/arm/nk_plat.h
branchGCC_SURGE
changeset 237 2604c9de91e0
parent 31 56f325a607ea