diff --git a/lib/grading/test_paging.c b/lib/grading/test_paging.c index 8eb28ce..88c6c1e 100644 --- a/lib/grading/test_paging.c +++ b/lib/grading/test_paging.c @@ -116,7 +116,7 @@ static errval_t test_paging_big_regions(struct paging_state *paging_state) { static errval_t test_paging_map_frame(struct paging_state *paging_state) { errval_t err; - for(size_t mapping_size = BASE_PAGE_SIZE; mapping_size <= VMSAv8_64_PTABLE_NUM_ENTRIES - 1; mapping_size += BASE_PAGE_SIZE) { + for(size_t mapping_size = BASE_PAGE_SIZE; mapping_size <= LARGE_PAGE_SIZE - 1; mapping_size += BASE_PAGE_SIZE) { void *retaddr;