Searched refs:l3_table (Results 1 - 2 of 2) sorted by relevance

/barrelfish-master/kernel/arch/armv8/
H A Dstartup_arch.c95 * @param l3_table pointer to init's L3 table.
102 static void spawn_init_map(union armv8_ttable_entry *l3_table, lvaddr_t l3_base, argument
116 paging_set_l3_entry(&l3_table[bi], pa_base, l3_flags);
142 union armv8_ttable_entry *l3_table; member in struct:startup_l3_info
164 spawn_init_map(s2i->l3_table, s2i->l3_base, sv,
H A Dpaging.c83 paging_write_l3_entry(union armv8_ttable_entry *l3_table, lvaddr_t va, union armv8_ttable_entry l3) argument
85 assert(l3_table);
86 l3_table[VMSAv8_64_L3_BASE(va)] = l3;

Completed in 87 milliseconds