Searched refs:performPageFlush (Results 1 - 2 of 2) sorted by relevance
| /seL4-camkes-master/kernel/src/arch/arm/32/kernel/ |
| H A D | vspace.c | 1978 static exception_t performPageFlush(int invLabel, pde_t *pd, asid_t asid, vptr_t start, function
2527 return performPageFlush(invLabel, pd.pd, asid, start, end - 1, pstart);
|
| /seL4-camkes-master/kernel/src/arch/arm/64/kernel/ |
| H A D | vspace.c | 1629 static exception_t performPageFlush(int invLabel, vspace_root_t *vspaceRoot, asid_t asid, function
2256 return performPageFlush(invLabel, find_ret.vspace_root, asid, vaddr + start, vaddr + end - 1,
|
Completed in 36 milliseconds