Function xthal_dcache_hugerange_writeback 

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