Searched refs:S2_NORMAL (Results 1 - 1 of 1) sorted by relevance
/seL4-test-master/kernel/src/arch/arm/64/kernel/ | ||
H A D | vspace.c | 67 S2_NORMAL = S2_NORMAL_INNER_WBC_OUTER_WBC enumerator in enum:mair_s2_types 335 S2_NORMAL, 812 S2_NORMAL, 858 S2_NORMAL 901 S2_NORMAL |
Completed in 27 milliseconds