32/kernel/vspace.c

224     /* up to end of virtual address space minus 16M using 16M frames */
355     /* up to end of virtual address space minus 2M using 2M frames */
583             pt_vptr < it_v_reg.end;
1882 doFlush(int invLabel, vptr_t start, vptr_t end, paddr_t pstart)
1885             \<or> \<acute>end - \<acute>start <= gs_get_assn cap_get_capSizeBits_'proc \<acute>ghost'state)
1886         \<and> \<acute>start <= \<acute>end, id)" */
1890         end = (vptr_t)paddr_to_pptr(pstart) + (end - start);
1896         cleanCacheRange_RAM(start, end, pstart);
1900         invalidateCacheRange_RAM(start, end, pstart);
1904         cleanInvalidateCacheRange_RAM(start, end, pstart);
1910         cleanCacheRange_PoU(start, end, pstart);
1915         invalidateCacheRange_I(start, end, pstart);
1917         branchFlushRange(start, end, pstart);
1930                vptr_t end, paddr_t pstart)
1935     if (start < end) {
1938         doFlush(invLabel, start, end, pstart);
2126                  vptr_t end, paddr_t pstart)
2131     if (start < end) {
2134         doFlush(invLabel, start, end, pstart);
2204         vptr_t start, end;
2218         end =   getSyscallArg(1, buffer);
2221         if (end <= start) {
2229         if (start >= kernelBase || end > kernelBase) {
2277                 pageBase(end - 1, resolve_ret.frameSize)) {
2294         return performPDFlush(invLabel, pd, asid, start, end - 1, pstart);
2734         vptr_t start, end;
2769         end =   getSyscallArg(1, buffer);
2772         if (end <= start) {
2780         /* start and end are currently relative inside this page */
2784         if (start >= page_size || end > page_size) {
2791         /* turn start and end into absolute addresses */
2794         end += vaddr;
2797         return performPageFlush(invLabel, pd.pd, asid, start, end - 1, pstart);