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

/barrelfish-master/kernel/arch/armv8/
H A Dpaging.c772 uint16_t last_l1idx, last_l2idx, last_l3idx; local
798 last_l3idx = l2idx == last_l2idx ? VMSAv8_64_L3_BASE(end) : PTABLE_ENTRIES;
801 for (uint16_t l3idx = first_l3idx; l3idx < last_l3idx; l3idx++) {

Completed in 80 milliseconds