| /barrelfish-master/kernel/include/arch/x86_64/ |
| H A D | paging_kernel_arch.h | 77 static inline void do_selective_tlb_flush(genvaddr_t vaddr, genvaddr_t vend) argument
79 for (genvaddr_t addr = vaddr; addr < vend; addr += X86_64_BASE_PAGE_SIZE) {
|
| /barrelfish-master/kernel/include/arch/x86_32/ |
| H A D | paging_kernel_arch.h | 97 static inline void do_selective_tlb_flush(genvaddr_t vaddr, genvaddr_t vend) argument
100 assert(vend < ((genvaddr_t)1)<<32);
102 uint32_t vend32 = (uint32_t)vend;
|
| /barrelfish-master/lib/posixcompat/ |
| H A D | mprotect.c | 48 genvaddr_t vend = vbase + vregion_get_size(v); local
50 if (vend < vaddr + size) {
|
| /barrelfish-master/usr/tests/nkm/ |
| H A D | modify_flags.c | 23 static void *vbase = NULL, *vend = NULL; variable
41 assert(addr >= vbase && addr < vend);
66 vend = (unsigned char *)vbase + retsize;
|
| /barrelfish-master/lib/barrelfish/arch/x86_32/ |
| H A D | pmap.c | 152 genvaddr_t vend, struct capref frame,
183 PRIxGENVADDR"--0x%"PRIxGENVADDR"\n", vaddr, vend);
241 genvaddr_t vend = vaddr + size; local
243 if (is_same_pdir(vaddr, vend) ||
244 (flags & VREGION_FLAGS_LARGE && is_same_pdpt(vaddr, vend))) {
246 err = do_single_map(pmap, vaddr, vend, frame, offset, pte_count, flags);
261 while (get_addr_prefix(temp_end) < get_addr_prefix(vend)) {
280 c = X86_32_PDIR_BASE(vend) - X86_32_PDIR_BASE(temp_end);
283 c = X86_32_PTABLE_BASE(vend) - X86_32_PTABLE_BASE(temp_end);
287 err = do_single_map(pmap, temp_end, vend, fram
151 do_single_map(struct pmap_x86 *pmap, genvaddr_t vaddr, genvaddr_t vend, struct capref frame, size_t offset, size_t pte_count, vregion_flags_t flags) argument
574 genvaddr_t vend = vaddr + size; local
709 genvaddr_t vend = vaddr + size; local
[all...] |
| /barrelfish-master/lib/barrelfish/arch/x86_64/ |
| H A D | pmap.c | 263 genvaddr_t vend, struct capref frame,
307 PRIxGENVADDR"--0x%"PRIxGENVADDR"\n", vaddr, vend);
403 genvaddr_t vend = vaddr + size; local
419 vaddr, vend, paddr, pte_count, fi.bytes, page_size);
424 if (is_same_pdir(vaddr, vend) ||
425 (flags & VREGION_FLAGS_LARGE && is_same_pdpt(vaddr, vend)) ||
426 (flags & VREGION_FLAGS_HUGE && is_same_pml4(vaddr, vend))) {
431 err = do_single_map(pmap, vaddr, vend, frame, offset, pte_count, flags);
452 get_addr_prefix(vend, map_bits))
477 c = get_addr_prefix(vend, map_bit
262 do_single_map(struct pmap_x86 *pmap, genvaddr_t vaddr, genvaddr_t vend, struct capref frame, size_t offset, size_t pte_count, vregion_flags_t flags) argument
749 genvaddr_t vend = vaddr + size; local
898 genvaddr_t vend = vaddr + size; local
[all...] |
| /barrelfish-master/kernel/include/arch/armv7/ |
| H A D | paging_kernel_arch.h | 76 static inline void do_selective_tlb_flush(genvaddr_t vaddr, genvaddr_t vend) argument
|
| /barrelfish-master/lib/barrelfish/arch/aarch64/ |
| H A D | pmap.c | 270 static errval_t do_single_map(struct pmap_aarch64 *pmap, genvaddr_t vaddr, genvaddr_t vend, argument
327 genvaddr_t vend = vaddr + size; local
329 if (VMSAv8_64_L012_BASE(vaddr) == VMSAv8_64_L012_BASE(vend - 1)) {
331 err = do_single_map(pmap, vaddr, vend, frame, offset, pte_count, flags);
346 while (VMSAv8_64_L012_BASE(temp_end) < VMSAv8_64_L012_BASE(vend)) { // update vars
362 c = VMSAv8_64_L3_BASE(vend) - VMSAv8_64_L3_BASE(temp_end);
365 err = do_single_map(pmap, temp_end, vend, frame, offset, c, flags);
502 genvaddr_t vend = vaddr + size; local
504 if (VMSAv8_64_L012_BASE(vaddr) == VMSAv8_64_L012_BASE(vend - 1)) {
520 while (VMSAv8_64_L012_BASE(vaddr) < VMSAv8_64_L012_BASE(vend)) {
665 genvaddr_t vend = vaddr + size; local
[all...] |
| /barrelfish-master/lib/barrelfish/arch/arm/ |
| H A D | pmap.c | 420 static errval_t do_single_map(struct pmap_arm *pmap, genvaddr_t vaddr, genvaddr_t vend, argument
483 PRIxGENVADDR"--0x%"PRIxGENVADDR"\n", vaddr, vend);
561 genvaddr_t vend = vaddr + size; local
574 if ((ARM_L1_OFFSET(vaddr) == ARM_L1_OFFSET(vend)) ||
577 err = do_single_map(pmap, vaddr, vend, frame, offset, pte_count, flags);
592 while (ARM_L1_OFFSET(temp_end) < ARM_L1_OFFSET(vend)) { // update vars
607 c = ARM_L2_OFFSET(vend) - ARM_L2_OFFSET(temp_end);
611 err = do_single_map(pmap, temp_end, vend, frame, offset, c, flags);
906 genvaddr_t vend = vaddr + size; local
908 if (ARM_L1_OFFSET(vaddr) == ARM_L1_OFFSET(vend
1122 genvaddr_t vend = vaddr + size; local
[all...] |
| /barrelfish-master/kernel/include/arch/armv8/ |
| H A D | paging_kernel_arch.h | 192 static inline void do_selective_tlb_flush(genvaddr_t vaddr, genvaddr_t vend) argument
|