Lines Matching defs:va
56 static void map_kernel_section_hi(lvaddr_t va, union arm_l1_entry l1);
58 static void paging_print_l1_pte(lvaddr_t va, union arm_l1_entry pte);
77 static void map_kernel_section_hi(lvaddr_t va, union arm_l1_entry l1)
79 assert( va >= MEMORY_OFFSET );
80 l1_high[ARM_L1_OFFSET(va)] = l1;
246 * to a given virtual address 'va'.
248 static void paging_print_l1_pte(lvaddr_t va, union arm_l1_entry pte)
250 printf("(memory offset=%x):\n", va);
254 printf( " %x-%"PRIxLVADDR": ", va, va + ARM_L1_SECTION_BYTES - 1);
674 * address 'va'. The level 2 page table to be used is assumed to be
677 void paging_map_user_pages_l1(lvaddr_t table_base, lvaddr_t va, lpaddr_t pa)
691 if(va < MEMORY_OFFSET) {
698 l1_table[ARM_L1_OFFSET(va)] = e;
701 clean_to_pou(&l1_table[ARM_L1_OFFSET(va)]);