pub unsafe extern "C" fn xthal_get_entry_for_address( vaddr: *mut c_void, infgmap: *mut i32, ) -> xthal_MPU_entry