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

/barrelfish-master/kernel/arch/armv8/
H A Dpaging.c771 uint16_t first_l1idx, first_l2idx, first_l3idx; local
781 first_l1idx = l0idx == first_l0idx ? VMSAv8_64_L1_BASE(buffer) : 0;
785 for (uint16_t l1idx = first_l1idx; l1idx <= last_l1idx; l1idx++) {
789 first_l2idx = l1idx == first_l1idx ? VMSAv8_64_L2_BASE(buffer) : 0;
/barrelfish-master/kernel/arch/armv7/
H A Dpaging.c657 uint16_t first_l1idx = ARM_L1_OFFSET(buffer); local
666 for (uint16_t l1idx = first_l1idx; l1idx <= last_l1idx; l1idx++) {
679 first_l2idx = l1idx == first_l1idx ? ARM_L2_OFFSET(buffer) : 0;

Completed in 81 milliseconds