diff options
| author | Shell <[email protected]> | 2023-04-26 17:17:42 +0800 |
|---|---|---|
| committer | GitHub <[email protected]> | 2023-04-26 17:17:42 +0800 |
| commit | 6e7c5d9bc9f9b5491bd9edd702d20867a92b5ec5 (patch) | |
| tree | 791723824196a832734e9d5619121ecfb48d3850 /components/mm | |
| parent | c34608b4a93256d57bf55f0bef6190e3a871fe7f (diff) | |
[libcpu/aarch64] fix cache invalidate operation (#7363)
Diffstat (limited to 'components/mm')
| -rw-r--r-- | components/mm/mm_page.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/components/mm/mm_page.c b/components/mm/mm_page.c index 68193fd13c..9b3fdf74e7 100644 --- a/components/mm/mm_page.c +++ b/components/mm/mm_page.c @@ -679,7 +679,7 @@ static void _install_page(rt_page_t mpr_head, rt_region_t region, void *insert_h shadow.start = region.start & ~shadow_mask; shadow.end = FLOOR(region.end, shadow_mask + 1); - if (shadow.end > UINT32_MAX) + if (shadow.end + PV_OFFSET > UINT32_MAX) _high_page_configured = 1; rt_page_t shad_head = addr_to_page(mpr_head, (void *)shadow.start); |