| 97 | } |
| 98 | |
| 99 | void mmu_page_tc() |
| 100 | { |
| 101 | mm_aspace_t aspace = ASPACE_NEW(); |
| 102 | size_t total, free; |
| 103 | rt_page_get_info(&total, &free); |
| 104 | rt_hw_mmu_map(aspace, (void *)0x3fffffffff, 0, ARCH_PAGE_SIZE, |
| 105 | MMU_MAP_K_RWCB); |
| 106 | rt_hw_mmu_unmap(aspace, (void *)0x3fffffffff, ARCH_PAGE_SIZE); |
| 107 | |
| 108 | size_t new_total, new_free; |
| 109 | rt_page_get_info(&new_total, &new_free); |
| 110 | TC_ASSERT(new_free == free); |
| 111 | mm_aspace_delete(aspace); |
| 112 | } |
| 113 | #endif |
nothing calls this directly
no test coverage detected