write_mmu_index 13 arch/csky/abiv1/inc/abi/ckmmu.h static inline void write_mmu_index(int value) write_mmu_index 15 arch/csky/abiv2/inc/abi/ckmmu.h static inline void write_mmu_index(int value)