pub fn clean_dcache_range(addr: usize, size: usize)
データキャッシュの指定された範囲を Point of Coherency (DDR 物理メモリ) まで確実にクリーン（フラッシュ）します