Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 1 | /* |
| 2 | * Copyright (C) 2002 Jeff Dike (jdike@karaya.com) |
| 3 | * Copyright 2003 PathScale, Inc. |
| 4 | * Licensed under the GPL |
| 5 | */ |
| 6 | |
| 7 | #include "linux/stddef.h" |
| 8 | #include "linux/sched.h" |
| 9 | #include "linux/mm.h" |
| 10 | #include "asm/page.h" |
| 11 | #include "asm/pgtable.h" |
| 12 | #include "asm/mmu.h" |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 13 | #include "mem_user.h" |
| 14 | #include "mem.h" |
| 15 | #include "skas.h" |
| 16 | #include "os.h" |
| 17 | #include "tlb.h" |
| 18 | |
Bodo Stroesser | 07bf731 | 2005-09-03 15:57:50 -0700 | [diff] [blame] | 19 | static int do_ops(union mm_context *mmu, struct host_vm_op *ops, int last, |
| 20 | int finished, void **flush) |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 21 | { |
| 22 | struct host_vm_op *op; |
Bodo Stroesser | 07bf731 | 2005-09-03 15:57:50 -0700 | [diff] [blame] | 23 | int i, ret = 0; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 24 | |
Bodo Stroesser | 07bf731 | 2005-09-03 15:57:50 -0700 | [diff] [blame] | 25 | for(i = 0; i <= last && !ret; i++){ |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 26 | op = &ops[i]; |
| 27 | switch(op->type){ |
| 28 | case MMAP: |
Bodo Stroesser | 07bf731 | 2005-09-03 15:57:50 -0700 | [diff] [blame] | 29 | ret = map(&mmu->skas.id, op->u.mmap.addr, |
Jeff Dike | 16dd07b | 2007-05-06 14:51:48 -0700 | [diff] [blame] | 30 | op->u.mmap.len, op->u.mmap.prot, |
| 31 | op->u.mmap.fd, op->u.mmap.offset, finished, |
| 32 | flush); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 33 | break; |
| 34 | case MUNMAP: |
Jeff Dike | 64f6084 | 2007-05-06 14:51:45 -0700 | [diff] [blame] | 35 | ret = unmap(&mmu->skas.id, op->u.munmap.addr, |
Bodo Stroesser | 07bf731 | 2005-09-03 15:57:50 -0700 | [diff] [blame] | 36 | op->u.munmap.len, finished, flush); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 37 | break; |
| 38 | case MPROTECT: |
Bodo Stroesser | 07bf731 | 2005-09-03 15:57:50 -0700 | [diff] [blame] | 39 | ret = protect(&mmu->skas.id, op->u.mprotect.addr, |
Jeff Dike | 16dd07b | 2007-05-06 14:51:48 -0700 | [diff] [blame] | 40 | op->u.mprotect.len, op->u.mprotect.prot, |
Bodo Stroesser | 07bf731 | 2005-09-03 15:57:50 -0700 | [diff] [blame] | 41 | finished, flush); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 42 | break; |
| 43 | default: |
| 44 | printk("Unknown op type %d in do_ops\n", op->type); |
| 45 | break; |
| 46 | } |
| 47 | } |
Jeff Dike | c560049 | 2005-09-03 15:57:36 -0700 | [diff] [blame] | 48 | |
Bodo Stroesser | 07bf731 | 2005-09-03 15:57:50 -0700 | [diff] [blame] | 49 | return ret; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 50 | } |
| 51 | |
Jeff Dike | d67b569 | 2005-07-07 17:56:49 -0700 | [diff] [blame] | 52 | extern int proc_mm; |
| 53 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 54 | static void fix_range(struct mm_struct *mm, unsigned long start_addr, |
| 55 | unsigned long end_addr, int force) |
| 56 | { |
Jeff Dike | d67b569 | 2005-07-07 17:56:49 -0700 | [diff] [blame] | 57 | if(!proc_mm && (end_addr > CONFIG_STUB_START)) |
| 58 | end_addr = CONFIG_STUB_START; |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 59 | |
Jeff Dike | d67b569 | 2005-07-07 17:56:49 -0700 | [diff] [blame] | 60 | fix_range_common(mm, start_addr, end_addr, force, do_ops); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 61 | } |
| 62 | |
| 63 | void __flush_tlb_one_skas(unsigned long addr) |
| 64 | { |
| 65 | flush_tlb_kernel_range_common(addr, addr + PAGE_SIZE); |
| 66 | } |
| 67 | |
| 68 | void flush_tlb_range_skas(struct vm_area_struct *vma, unsigned long start, |
| 69 | unsigned long end) |
| 70 | { |
| 71 | if(vma->vm_mm == NULL) |
| 72 | flush_tlb_kernel_range_common(start, end); |
| 73 | else fix_range(vma->vm_mm, start, end, 0); |
| 74 | } |
| 75 | |
| 76 | void flush_tlb_mm_skas(struct mm_struct *mm) |
| 77 | { |
Jeff Dike | d67b569 | 2005-07-07 17:56:49 -0700 | [diff] [blame] | 78 | unsigned long end; |
| 79 | |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 80 | /* Don't bother flushing if this address space is about to be |
| 81 | * destroyed. |
| 82 | */ |
| 83 | if(atomic_read(&mm->mm_users) == 0) |
| 84 | return; |
| 85 | |
Jeff Dike | d67b569 | 2005-07-07 17:56:49 -0700 | [diff] [blame] | 86 | end = proc_mm ? task_size : CONFIG_STUB_START; |
| 87 | fix_range(mm, 0, end, 0); |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 88 | } |
| 89 | |
| 90 | void force_flush_all_skas(void) |
| 91 | { |
Jeff Dike | 1e7371c | 2007-05-06 14:51:49 -0700 | [diff] [blame] | 92 | struct mm_struct *mm = current->mm; |
| 93 | struct vm_area_struct *vma = mm->mmap; |
| 94 | |
| 95 | while(vma != NULL) { |
| 96 | fix_range(mm, vma->vm_start, vma->vm_end, 1); |
| 97 | vma = vma->vm_next; |
| 98 | } |
Linus Torvalds | 1da177e | 2005-04-16 15:20:36 -0700 | [diff] [blame] | 99 | } |
Jeff Dike | 64f6084 | 2007-05-06 14:51:45 -0700 | [diff] [blame] | 100 | |
| 101 | void flush_tlb_page_skas(struct vm_area_struct *vma, unsigned long address) |
| 102 | { |
| 103 | pgd_t *pgd; |
| 104 | pud_t *pud; |
| 105 | pmd_t *pmd; |
| 106 | pte_t *pte; |
| 107 | struct mm_struct *mm = vma->vm_mm; |
| 108 | void *flush = NULL; |
Jeff Dike | 16dd07b | 2007-05-06 14:51:48 -0700 | [diff] [blame] | 109 | int r, w, x, prot, err = 0; |
Jeff Dike | 64f6084 | 2007-05-06 14:51:45 -0700 | [diff] [blame] | 110 | struct mm_id *mm_id; |
| 111 | |
Jeff Dike | 16dd07b | 2007-05-06 14:51:48 -0700 | [diff] [blame] | 112 | pgd = pgd_offset(mm, address); |
Jeff Dike | 64f6084 | 2007-05-06 14:51:45 -0700 | [diff] [blame] | 113 | if(!pgd_present(*pgd)) |
| 114 | goto kill; |
| 115 | |
| 116 | pud = pud_offset(pgd, address); |
| 117 | if(!pud_present(*pud)) |
| 118 | goto kill; |
| 119 | |
| 120 | pmd = pmd_offset(pud, address); |
| 121 | if(!pmd_present(*pmd)) |
| 122 | goto kill; |
| 123 | |
| 124 | pte = pte_offset_kernel(pmd, address); |
| 125 | |
| 126 | r = pte_read(*pte); |
| 127 | w = pte_write(*pte); |
| 128 | x = pte_exec(*pte); |
| 129 | if (!pte_young(*pte)) { |
| 130 | r = 0; |
| 131 | w = 0; |
| 132 | } else if (!pte_dirty(*pte)) { |
| 133 | w = 0; |
| 134 | } |
| 135 | |
| 136 | mm_id = &mm->context.skas.id; |
Jeff Dike | 16dd07b | 2007-05-06 14:51:48 -0700 | [diff] [blame] | 137 | prot = ((r ? UM_PROT_READ : 0) | (w ? UM_PROT_WRITE : 0) | |
| 138 | (x ? UM_PROT_EXEC : 0)); |
Jeff Dike | 64f6084 | 2007-05-06 14:51:45 -0700 | [diff] [blame] | 139 | if(pte_newpage(*pte)){ |
| 140 | if(pte_present(*pte)){ |
| 141 | unsigned long long offset; |
| 142 | int fd; |
| 143 | |
| 144 | fd = phys_mapping(pte_val(*pte) & PAGE_MASK, &offset); |
Jeff Dike | 16dd07b | 2007-05-06 14:51:48 -0700 | [diff] [blame] | 145 | err = map(mm_id, address, PAGE_SIZE, prot, fd, offset, |
| 146 | 1, &flush); |
Jeff Dike | 64f6084 | 2007-05-06 14:51:45 -0700 | [diff] [blame] | 147 | } |
| 148 | else err = unmap(mm_id, address, PAGE_SIZE, 1, &flush); |
| 149 | } |
| 150 | else if(pte_newprot(*pte)) |
Jeff Dike | 16dd07b | 2007-05-06 14:51:48 -0700 | [diff] [blame] | 151 | err = protect(mm_id, address, PAGE_SIZE, prot, 1, &flush); |
Jeff Dike | 64f6084 | 2007-05-06 14:51:45 -0700 | [diff] [blame] | 152 | |
| 153 | if(err) |
| 154 | goto kill; |
| 155 | |
| 156 | *pte = pte_mkuptodate(*pte); |
| 157 | |
| 158 | return; |
| 159 | |
| 160 | kill: |
| 161 | printk("Failed to flush page for address 0x%lx\n", address); |
| 162 | force_sig(SIGKILL, current); |
| 163 | } |
| 164 | |