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

/seL4-camkes-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c1852 static exception_t performPDFlush(int invLabel, pde_t *pd, asid_t asid, vptr_t start, function
2143 return performPDFlush(invLabel, pd, asid, start, end - 1, pstart);

Completed in 79 milliseconds