700 static void MIi_WaitWhileBusy( volatile BOOL* finished );
1144 	volatile BOOL finished = FALSE;  in MIi_DoAllocWram()
1147 	if ( ! MIi_LockForPxi( &finished, &result ) )  in MIi_DoAllocWram()
1155 		MIi_WaitWhileBusy( &finished );  in MIi_DoAllocWram()
1230 	volatile BOOL finished = FALSE;  in MIi_DoAllocWramSlot()
1233 	if ( ! MIi_LockForPxi( &finished, &result ) )  in MIi_DoAllocWramSlot()
1241 		MIi_WaitWhileBusy( &finished );  in MIi_DoAllocWramSlot()
1300 	volatile BOOL finished = FALSE;  in MIi_DoFreeWram()
1303 	if ( ! MIi_LockForPxi( &finished, &result ) )  in MIi_DoFreeWram()
1311 		MIi_WaitWhileBusy( &finished );  in MIi_DoFreeWram()
1393 	volatile BOOL finished = FALSE;  in MIi_DoFreeWramSlot()
1396 	if ( ! MIi_LockForPxi( &finished, &result ) )  in MIi_DoFreeWramSlot()
1404 		MIi_WaitWhileBusy( &finished );  in MIi_DoFreeWramSlot()
1467 	volatile BOOL finished = FALSE;  in MIi_DoSwitchWram()
1470 	if ( ! MIi_LockForPxi( &finished, &result ) )  in MIi_DoSwitchWram()
1478 		MIi_WaitWhileBusy( &finished );  in MIi_DoSwitchWram()
1565 	volatile BOOL finished = FALSE;  in MIi_DoSwitchWramSlot()
1568 	if ( ! MIi_LockForPxi( &finished, &result ) )  in MIi_DoSwitchWramSlot()
1576 		MIi_WaitWhileBusy( &finished );  in MIi_DoSwitchWramSlot()
1668 	volatile BOOL finished = FALSE;  in MIi_DoReserveWram()
1670 	if ( ! MIi_LockForPxi( &finished, &result ) )  in MIi_DoReserveWram()
1678 		MIi_WaitWhileBusy( &finished );  in MIi_DoReserveWram()
1759 	volatile BOOL finished = FALSE;  in MIi_DoReserveWramSlot()
1761 	if ( ! MIi_LockForPxi( &finished, &result ) )  in MIi_DoReserveWramSlot()
1769 		MIi_WaitWhileBusy( &finished );  in MIi_DoReserveWramSlot()
1823 	volatile BOOL finished = FALSE;  in MIi_DoCancelWram()
1826 	if ( ! MIi_LockForPxi( &finished, &result ) )  in MIi_DoCancelWram()
1834 		MIi_WaitWhileBusy( &finished );  in MIi_DoCancelWram()
1914 	volatile BOOL finished = FALSE;  in MIi_DoCancelWramSlot()
1917 	if ( ! MIi_LockForPxi( &finished, &result ) )  in MIi_DoCancelWramSlot()
1925 		MIi_WaitWhileBusy( &finished );  in MIi_DoCancelWramSlot()
1962 	volatile BOOL finished = FALSE;  in MIi_DoLockWramSlots()  local
1964 	if ( ! MIi_LockForPxi( &finished, &result ) )  in MIi_DoLockWramSlots()
1972 		MIi_WaitWhileBusy( &finished );  in MIi_DoLockWramSlots()
2024 	volatile BOOL finished = FALSE;  in MIi_DoUnlockWramSlots()  local
2027 	if ( ! MIi_LockForPxi( &finished, &result ) )  in MIi_DoUnlockWramSlots()
2035 		MIi_WaitWhileBusy( &finished );  in MIi_DoUnlockWramSlots()
2081 	volatile BOOL finished = FALSE;  in MI_GetWramReservation()
2084 	if ( ! MIi_LockForPxi( &finished, &result ) )  in MI_GetWramReservation()
2092 		MIi_WaitWhileBusy( &finished );  in MI_GetWramReservation()
2153 	volatile BOOL finished = FALSE;  in MIi_DoGetAllocatableWramSlot()
2156 	if ( ! MIi_LockForPxi( &finished, &result ) )  in MIi_DoGetAllocatableWramSlot()
2164 		MIi_WaitWhileBusy( &finished );  in MIi_DoGetAllocatableWramSlot()
2270 static void MIi_WaitWhileBusy( volatile BOOL* finished )  in MIi_WaitWhileBusy()  argument
2272 	while( *finished == FALSE )  in MIi_WaitWhileBusy()