| 1045 | } |
| 1046 | |
| 1047 | static void _invalid_uninstalled_shadow(rt_page_t start, rt_page_t end) |
| 1048 | { |
| 1049 | for (rt_page_t iter = start; iter < end; iter++) |
| 1050 | { |
| 1051 | rt_base_t frame = (rt_base_t)rt_page_page2addr(iter); |
| 1052 | struct installed_page_reg *page_reg = _find_page_region(frame); |
| 1053 | if (page_reg) |
| 1054 | { |
| 1055 | continue; |
| 1056 | } |
| 1057 | iter->size_bits = ARCH_ADDRESS_WIDTH_BITS; |
| 1058 | } |
| 1059 | } |
| 1060 | |
| 1061 | static void _install_page(rt_page_t mpr_head, rt_region_t region, |
| 1062 | void (*insert)(rt_page_t *ppg, rt_page_t page, rt_uint32_t size_bits)) |
no test coverage detected