For nds32 porting