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

/barrelfish-master/kernel/arch/armv7/
H A Dpaging.c43 paging_set_flags(union arm_l2_entry *entry, uintptr_t kpi_paging_flags) function
538 paging_set_flags(entry, kpi_paging_flags);
633 paging_set_flags(entry, kpi_paging_flags);
/barrelfish-master/kernel/arch/armv8/
H A Dpaging.c307 paging_set_flags(union armv8_ttable_entry *entry, uintptr_t kpi_paging_flags) function
611 paging_set_flags(entry, kpi_paging_flags);
745 paging_set_flags(entry, kpi_paging_flags);

Completed in 83 milliseconds