1.1 --- a/stage2/task_gpio.c Wed Jul 12 15:46:53 2017 +0200
1.2 +++ b/stage2/task_gpio.c Sun Jul 23 17:44:24 2017 +0200
1.3 @@ -33,10 +33,11 @@
1.4
1.5 for (virtual = TASK_GPIO_BASE, physical = GPIO_BASE_PHYSICAL;
1.6 virtual < (uint32_t) TASK_GPIO_BASE + (uint32_t) GPIO_REGION_SIZE;
1.7 - virtual += page_size(STAGE2_PAGESIZE), physical += page_size(STAGE2_PAGESIZE))
1.8 + virtual = next_page(virtual, STAGE2_PAGESIZE),
1.9 + physical = next_page(physical, STAGE2_PAGESIZE))
1.10 {
1.11 init_page_table(STAGE2_PAGE_TABLE_BASE, virtual, physical,
1.12 - page_size(STAGE2_PAGESIZE), TLB_UNCACHED | TLB_DIRTY | TLB_VALID, task);
1.13 + STAGE2_PAGESIZE, TLB_UNCACHED | TLB_DIRTY | TLB_VALID, task);
1.14 }
1.15 }
1.16