Void syCacheOCBI( address, size ) Void *address Uint32 size
address 先頭アドレス size サイズ
なし
指定された領域を含む全キャッシュブロックをインバリデートします。(インバリデート=キャッシュ内容を捨てる)
P2領域(0xa0000000〜0xbfffffff)のアドレスが指定された時は、P0領域に置き換えインバリデートします。