pub fn flush_data_cache(address: *mut u8, size: usize)