void paging_map_memory(uintptr_t ttbase, lpaddr_t paddr, size_t bytes) { lpaddr_t pend = paging_round_up(paddr + bytes, BYTES_PER_SECTION); while (paddr < pend) { paging_map_kernel_section(ttbase, paddr + MEMORY_OFFSET, paddr); paddr += BYTES_PER_SECTION; } }
void paging_map_memory(union armv8_ttable_entry *ttbase, lpaddr_t paddr, size_t bytes) { lpaddr_t pend = paging_round_up(paddr + bytes, VMSAv8_64_L1_BLOCK_SIZE); while (paddr < pend) { paging_map_kernel_l1_block(ttbase, (paddr + MEMORY_OFFSET) - KERNEL_OFFSET, paddr); paddr += VMSAv8_64_L1_BLOCK_SIZE; } }