Function xthal_dcache_region_writeback 

pub unsafe extern "C" fn xthal_dcache_region_writeback(
    addr: *mut c_void,
    size: c_uint,
)