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

/barrelfish-master/include/target/arm/barrelfish_kpi/
H A Dpaging_arm_v5.h37 #define ARM_L1_MAX_ENTRIES 4096u macro
40 #define ARM_L1_TABLE_BYTES (ARM_L1_MAX_ENTRIES * ARM_L1_BYTES_PER_ENTRY)
H A Dpaging_arm_v7.h35 #define ARM_L1_MAX_ENTRIES 4096u macro
/barrelfish-master/kernel/include/arch/armv7/
H A Dstartup_arch.h21 #define INIT_L1_BYTES (ARM_L1_MAX_ENTRIES * ARM_L1_BYTES_PER_ENTRY)
/barrelfish-master/kernel/arch/armv7/
H A Dpaging_init.c23 union arm_l1_entry l1_low [ARM_L1_MAX_ENTRIES]
25 union arm_l1_entry l1_high[ARM_L1_MAX_ENTRIES]
102 * This allows 1MB*4k (ARM_L1_MAX_ENTRIES) = 4G per pagetable.
171 for (i=0; i < ARM_L1_MAX_ENTRIES/2; i++) {
178 for (i=0; i < ARM_L1_MAX_ENTRIES/4; i++) {
H A Dboot_driver.c37 extern union arm_l1_entry l1_low [ARM_L1_MAX_ENTRIES];
38 extern union arm_l1_entry l1_high[ARM_L1_MAX_ENTRIES];
H A Dpaging.c222 for( size_t i = ARM_L1_OFFSET( DEVICE_OFFSET - 1); i > ARM_L1_MAX_ENTRIES / 4 * 3; i-- ) {
322 for(i = 0; i < ARM_L1_MAX_ENTRIES; i++, base += ARM_L1_SECTION_BYTES ) {
327 for(i = 0; i < ARM_L1_MAX_ENTRIES; i++, base += ARM_L1_SECTION_BYTES ) {
420 if (slot >= ARM_L1_MAX_ENTRIES) {
710 for (int l1_index = 0; l1_index < ARM_L1_MAX_ENTRIES; l1_index++) {
/barrelfish-master/lib/barrelfish/arch/arm/
H A Dpmap.c1035 bool f[ARM_L1_MAX_ENTRIES];
1036 for (int i = 0; i < ARM_L1_MAX_ENTRIES; i++) {

Completed in 48 milliseconds