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

/barrelfish-2018-10-04/tools/fastmodels/
H A Dmain.c522 union armv8_l1_entry *l1_table= local
528 l1_table[j].block.type= ARMv8_Ln_BLOCK;
529 l1_table[j].block.ai= 1; /* Memory type 1 */
530 l1_table[j].block.ns= 1; /* Non-secure. */
531 l1_table[j].block.ap= 0; /* R/W EL1, no access EL0 */
532 l1_table[j].block.sh= 2; /* Outer shareable - this is actually
534 l1_table[j].block.af= 1; /* Accessed/dirty - don't fault */
535 l1_table[j].block.ng= 0; /* Global mapping */
536 l1_table[j].block.base_address= j; /* PA = j << 30 */
537 l1_table[
[all...]
/barrelfish-2018-10-04/kernel/arch/armv7/
H A Dpaging.c683 union arm_l1_entry *l1_table; local
697 l1_table = (union arm_l1_entry *) table_base;
698 l1_table[ARM_L1_OFFSET(va)] = e;
701 clean_to_pou(&l1_table[ARM_L1_OFFSET(va)]);
/barrelfish-2018-10-04/kernel/include/arch/armv8/
H A Dpaging_kernel_arch.h134 void paging_map_device_page(uintptr_t l1_table,
/barrelfish-2018-10-04/kernel/arch/armv8/
H A Dpaging.c59 paging_write_l1_entry(union armv8_ttable_entry *l1_table, lvaddr_t va, union armv8_ttable_entry l1) argument
61 assert(l1_table);
62 // union armv8_l1_entry *l1_table;
69 // l1_table = (union armv8_l1_entry *) ttbase;
71 l1_table[VMSAv8_64_L1_BASE(va)] = l1;

Completed in 64 milliseconds