pub unsafe extern "C" fn internal_validate_user_accessible_range( vaddr: *mut vaddr_t, len: *mut usize, )