64/kernel/vspace.c

1432 static void doFlush(int invLabel, vptr_t start, vptr_t end, paddr_t pstart)
1434     switch (invLabel) {
1469 static exception_t performVSpaceFlush(int invLabel, vspace_root_t *vspaceRoot, asid_t asid,
1478             doFlush(invLabel, start, end, pstart);
1486             doFlush(invLabel, start, end, pstart);
1629 static exception_t performPageFlush(int invLabel, vspace_root_t *vspaceRoot, asid_t asid,
1642             doFlush(invLabel, start, end, pstart);
1649             doFlush(invLabel, start, end, pstart);
1689 static exception_t decodeARMVSpaceRootInvocation(word_t invLabel, unsigned int length,
1700     switch (invLabel) {
1779         return performVSpaceFlush(invLabel, vspaceRoot, asid, start, end - 1, pstart);
1788 static exception_t decodeARMPageUpperDirectoryInvocation(word_t invLabel, unsigned int length,
1800     if (invLabel == ARMPageUpperDirectoryUnmap) {
1810     if (unlikely(invLabel != ARMPageUpperDirectoryMap)) {
1876 static exception_t decodeARMPageDirectoryInvocation(word_t invLabel, unsigned int length,
1888     if (invLabel == ARMPageDirectoryUnmap) {
1898     if (unlikely(invLabel != ARMPageDirectoryMap)) {
1969 static exception_t decodeARMPageTableInvocation(word_t invLabel, unsigned int length,
1981     if (invLabel == ARMPageTableUnmap) {
1991     if (unlikely(invLabel != ARMPageTableMap)) {
2062 static exception_t decodeARMFrameInvocation(word_t invLabel, unsigned int length,
2066     switch (invLabel) {
2256         return performPageFlush(invLabel, find_ret.vspace_root, asid, vaddr + start, vaddr + end - 1,
2270 exception_t decodeARMMMUInvocation(word_t invLabel, word_t length, cptr_t cptr,
2276         return decodeARMVSpaceRootInvocation(invLabel, length, cte, cap, extraCaps, buffer);
2279         return decodeARMPageUpperDirectoryInvocation(invLabel, length, cte,
2283         return decodeARMPageDirectoryInvocation(invLabel, length, cte,
2287         return decodeARMPageTableInvocation(invLabel, length, cte,
2291         return decodeARMFrameInvocation(invLabel, length, cte,
2304         if (unlikely(invLabel != ARMASIDControlMakePool)) {
2373         if (unlikely(invLabel != ARMASIDPoolAssign)) {