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

/seL4-camkes-master/kernel/src/arch/riscv/kernel/
H A Dvspace.c504 void unmapPageTable(asid_t asid, vptr_t vptr, pte_t *target_pt) argument
512 assert(find_ret.vspace_root != target_pt);
516 for (word_t i = 0; i < CONFIG_PT_LEVELS - 1 && pt != target_pt; i++) {
525 if (pt != target_pt) {

Completed in 107 milliseconds