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

/barrelfish-master/kernel/arch/armv8/
H A Dpaging.c83 paging_write_l3_entry(union armv8_ttable_entry *l3_table, lvaddr_t va, union armv8_ttable_entry l3) function
248 paging_write_l3_entry(table_base, va, e);

Completed in 39 milliseconds