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

/barrelfish-master/include/target/arm/barrelfish_kpi/
H A Dpaging_arm_v5.h30 #define ARM_L1_OFFSET(addr) ((((uintptr_t)addr) >> 20) & 0xfff) // 12 bits macro
H A Dpaging_arm_v7.h30 #define ARM_L1_OFFSET(addr) ((((uintptr_t)addr) >> 20) & 0xfff) macro
/barrelfish-master/lib/barrelfish/arch/arm/
H A Dpmap.c376 uintptr_t idx = ARM_L1_OFFSET(vaddr);
416 uintptr_t idx = ARM_L1_OFFSET(vaddr);
444 entry = ARM_L1_OFFSET(vaddr);
452 debug_printf("4k path: L1 entry: %zu\n", ARM_L1_OFFSET(vaddr));
543 offset_level = ARM_L1_OFFSET(vaddr);
569 pte_count, page_size, ARM_L1_OFFSET(vaddr), ARM_L2_OFFSET(vaddr));
574 if ((ARM_L1_OFFSET(vaddr) == ARM_L1_OFFSET(vend)) ||
592 while (ARM_L1_OFFSET(temp_end) < ARM_L1_OFFSET(ven
[all...]
/barrelfish-master/kernel/arch/armv7/
H A Dpaging_init.c33 l1_low[ARM_L1_OFFSET(va)] = l1;
39 l1_high[ARM_L1_OFFSET(va)] = l1;
H A Dpaging.c81 l1_high[ARM_L1_OFFSET(va)] = l1;
175 union arm_l1_entry *e_l1= &l1_high[ARM_L1_OFFSET(VECTORS_BASE)];
222 for( size_t i = ARM_L1_OFFSET( DEVICE_OFFSET - 1); i > ARM_L1_MAX_ENTRIES / 4 * 3; i-- ) {
441 if (slot >= ARM_L1_OFFSET(MEMORY_OFFSET)) {
657 uint16_t first_l1idx = ARM_L1_OFFSET(buffer);
658 uint16_t last_l1idx = ARM_L1_OFFSET(end);
764 l1_table[ARM_L1_OFFSET(va)] = e;
767 clean_to_pou(&l1_table[ARM_L1_OFFSET(va)]);

Completed in 36 milliseconds