Searched refs:doFlush (Results 1 - 2 of 2) sorted by relevance
| /seL4-camkes-master/kernel/src/arch/arm/64/kernel/ |
| H A D | vspace.c | 1432 static void doFlush(int invLabel, vptr_t start, vptr_t end, paddr_t pstart) function
1478 doFlush(invLabel, start, end, pstart);
1486 doFlush(invLabel, start, end, pstart);
1642 doFlush(invLabel, start, end, pstart);
1649 doFlush(invLabel, start, end, pstart);
|
| /seL4-camkes-master/kernel/src/arch/arm/32/kernel/ |
| H A D | vspace.c | 1806 static void doFlush(int invLabel, vptr_t start, vptr_t end, paddr_t pstart) function
1861 doFlush(invLabel, start, end, pstart);
1987 doFlush(invLabel, start, end, pstart);
|
Completed in 41 milliseconds