81 	SDK_ASSERT( 0<=num && num<MI_WRAM_A_MAX_NUM );  in MIi_SetWramBank_A()
82 	SDK_ASSERT( (offset & 1) == 0 );  in MIi_SetWramBank_A()
83 	SDK_ASSERT( proc == MI_WRAM_ARM9 || proc == MI_WRAM_ARM7 );  in MIi_SetWramBank_A()
92 	SDK_ASSERT( 0<=num && num<MI_WRAM_B_MAX_NUM );  in MIi_SetWramBank_B()
101 	SDK_ASSERT( 0<=num && num<MI_WRAM_C_MAX_NUM );  in MIi_SetWramBank_C()
115 	SDK_ASSERT( 0<=wram && wram<3 );  in MIi_SetWramBank()
130 	SDK_ASSERT( 0<=num && num<MI_WRAM_A_MAX_NUM );  in MIi_GetWramBank_A()
136 	SDK_ASSERT( 0<=num && num<MI_WRAM_B_MAX_NUM );  in MIi_GetWramBank_B()
142 	SDK_ASSERT( 0<=num && num<MI_WRAM_C_MAX_NUM );  in MIi_GetWramBank_C()
153 	SDK_ASSERT( 0<=wram && wram<3 );  in MIi_GetWramBank()
176 	SDK_ASSERT( 0<=num && num<MI_WRAM_A_MAX_NUM );  in MIi_SetWramBankMaster_A()
184 	SDK_ASSERT( 0<=num && num<MI_WRAM_B_MAX_NUM );  in MIi_SetWramBankMaster_B()
192 	SDK_ASSERT( 0<=num && num<MI_WRAM_C_MAX_NUM );  in MIi_SetWramBankMaster_C()
202 	SDK_ASSERT( 0<=wram && wram<3 );  in MIi_SetWramBankMaster()
224 	SDK_ASSERT( 0<=num && num<MI_WRAM_A_MAX_NUM );  in MIi_SetWramBankEnable_A()
232 	SDK_ASSERT( 0<=num && num<MI_WRAM_B_MAX_NUM );  in MIi_SetWramBankEnable_B()
240 	SDK_ASSERT( 0<=num && num<MI_WRAM_C_MAX_NUM );  in MIi_SetWramBankEnable_C()
251 	SDK_ASSERT( 0<=wram && wram<3 );  in MIi_SetWramBankEnable()
271 	SDK_ASSERT( 0<=num && num<MI_WRAM_A_MAX_NUM );  in MI_GetWramBankMaster_A()
276 	SDK_ASSERT( 0<=num && num<MI_WRAM_B_MAX_NUM );  in MI_GetWramBankMaster_B()
281 	SDK_ASSERT( 0<=num && num<MI_WRAM_C_MAX_NUM );  in MI_GetWramBankMaster_C()
291 	SDK_ASSERT( 0<=wram && wram<3 );  in MI_GetWramBankMaster()
323 	SDK_ASSERT( 0<=num && num<MI_WRAM_A_MAX_NUM );  in MI_GetWramBankOffset_A()
328 	SDK_ASSERT( 0<=num && num<MI_WRAM_B_MAX_NUM );  in MI_GetWramBankOffset_B()
333 	SDK_ASSERT( 0<=num && num<MI_WRAM_C_MAX_NUM );  in MI_GetWramBankOffset_C()
343 	SDK_ASSERT( 0<=wram && wram<3 );  in MI_GetWramBankOffset()
362 	SDK_ASSERT( 0<=num && num<MI_WRAM_A_MAX_NUM );  in MI_GetWramBankEnable_A()
367 	SDK_ASSERT( 0<=num && num<MI_WRAM_B_MAX_NUM );  in MI_GetWramBankEnable_B()
372 	SDK_ASSERT( 0<=num && num<MI_WRAM_C_MAX_NUM );  in MI_GetWramBankEnable_C()
382 	SDK_ASSERT( 0<=wram && wram<3 );  in MI_GetWramBankEnable()
408 	SDK_ASSERT( image == MI_WRAM_IMAGE_64KB ||  in MIi_SetWramMap_A()
411 	SDK_ASSERT( (start & 0xffff) == 0      && 0x03000000 <= start && start <= 0x03ff0000);  in MIi_SetWramMap_A()
412 	SDK_ASSERT( (end   & 0xffff) == 0xffff && 0x02ffffff <= end   && end   <= 0x03ffffff);  in MIi_SetWramMap_A()
439 	SDK_ASSERT( (start & 0x7fff) == 0      && 0x03000000 <= start && start <= 0x03ff8000);  in MIi_SetWramMap_B()
440 	SDK_ASSERT( (end   & 0x7fff) == 0x7fff && 0x02ffffff <= end   && end   <= 0x03ffffff);  in MIi_SetWramMap_B()
467 	SDK_ASSERT( (start & 0x7fff) == 0 &&      0x03000000 <= start && start <= 0x03ff8000);  in MIi_SetWramMap_C()
468 	SDK_ASSERT( (end   & 0x7fff) == 0x7fff && 0x02ffffff <= end   && end   <= 0x03ffffff);  in MIi_SetWramMap_C()
521 	SDK_ASSERT( 0<=wram && wram<3 );  in MI_GetWramMapStart()
571 	SDK_ASSERT( 0<=wram && wram<3 );  in MI_GetWramMapEnd()
625 	SDK_ASSERT( 0<=wram && wram<3 );  in MI_GetWramMapImage()
642 	SDK_ASSERT( 0<=num && num<MI_WRAM_A_MAX_NUM );  in MI_IsWramSlotLocked_A()
648 	SDK_ASSERT( 0<=num && num<MI_WRAM_B_MAX_NUM );  in MI_IsWramSlotLocked_B()
654 	SDK_ASSERT( 0<=num && num<MI_WRAM_C_MAX_NUM );  in MI_IsWramSlotLocked_C()
664 	SDK_ASSERT( 0<=wram && wram<3 );  in MI_IsWramSlotLocked()
1203 	SDK_ASSERT( 0 <= slot && slot < maxNum );  in MIi_DoAllocWramSlot()
1733 	SDK_ASSERT( 0 <= slot && slot < maxNum );  in MIi_DoReserveWramSlot()