Searched refs:is_leaf (Results 1 - 1 of 1) sorted by relevance
/seL4-camkes-master/kernel/src/arch/riscv/kernel/ | ||
H A D | vspace.c | 63 static pte_t pte_next(word_t phys_addr, bool_t is_leaf) argument 67 uint8_t read = is_leaf ? 1 : 0; |
Completed in 30 milliseconds