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

/barrelfish-master/kernel/arch/armv7/
H A Dstartup_arch.c61 * @param l2_table pointer to init's L2 table.
69 spawn_init_map(union arm_l2_entry* l2_table, argument
85 paging_set_l2_entry((uintptr_t *)&l2_table[bi], pa_base, l2_flags);
109 union arm_l2_entry* l2_table; member in struct:startup_l2_info
136 spawn_init_map(s2i->l2_table, s2i->l2_base, sv,
/barrelfish-master/kernel/arch/armv8/
H A Dpaging.c76 paging_write_l2_entry(union armv8_ttable_entry *l2_table, lvaddr_t va, union armv8_ttable_entry l2) argument
78 assert(l2_table);
79 l2_table[VMSAv8_64_L2_BASE(va)] = l2;

Completed in 37 milliseconds