diff options
Diffstat (limited to 'arch/um/include')
-rw-r--r-- | arch/um/include/asm/tlb.h | 16 | ||||
-rw-r--r-- | arch/um/include/shared/os.h | 1 |
2 files changed, 15 insertions, 2 deletions
diff --git a/arch/um/include/asm/tlb.h b/arch/um/include/asm/tlb.h index 29b0301c18aa..16eb63fac57d 100644 --- a/arch/um/include/asm/tlb.h +++ b/arch/um/include/asm/tlb.h | |||
@@ -59,13 +59,25 @@ extern void flush_tlb_mm_range(struct mm_struct *mm, unsigned long start, | |||
59 | unsigned long end); | 59 | unsigned long end); |
60 | 60 | ||
61 | static inline void | 61 | static inline void |
62 | tlb_flush_mmu_tlbonly(struct mmu_gather *tlb) | ||
63 | { | ||
64 | flush_tlb_mm_range(tlb->mm, tlb->start, tlb->end); | ||
65 | } | ||
66 | |||
67 | static inline void | ||
68 | tlb_flush_mmu_free(struct mmu_gather *tlb) | ||
69 | { | ||
70 | init_tlb_gather(tlb); | ||
71 | } | ||
72 | |||
73 | static inline void | ||
62 | tlb_flush_mmu(struct mmu_gather *tlb) | 74 | tlb_flush_mmu(struct mmu_gather *tlb) |
63 | { | 75 | { |
64 | if (!tlb->need_flush) | 76 | if (!tlb->need_flush) |
65 | return; | 77 | return; |
66 | 78 | ||
67 | flush_tlb_mm_range(tlb->mm, tlb->start, tlb->end); | 79 | tlb_flush_mmu_tlbonly(tlb); |
68 | init_tlb_gather(tlb); | 80 | tlb_flush_mmu_free(tlb); |
69 | } | 81 | } |
70 | 82 | ||
71 | /* tlb_finish_mmu | 83 | /* tlb_finish_mmu |
diff --git a/arch/um/include/shared/os.h b/arch/um/include/shared/os.h index 75298d3358e7..08eec0b691b0 100644 --- a/arch/um/include/shared/os.h +++ b/arch/um/include/shared/os.h | |||
@@ -136,6 +136,7 @@ extern int os_ioctl_generic(int fd, unsigned int cmd, unsigned long arg); | |||
136 | extern int os_get_ifname(int fd, char *namebuf); | 136 | extern int os_get_ifname(int fd, char *namebuf); |
137 | extern int os_set_slip(int fd); | 137 | extern int os_set_slip(int fd); |
138 | extern int os_mode_fd(int fd, int mode); | 138 | extern int os_mode_fd(int fd, int mode); |
139 | extern int os_fsync_file(int fd); | ||
139 | 140 | ||
140 | extern int os_seek_file(int fd, unsigned long long offset); | 141 | extern int os_seek_file(int fd, unsigned long long offset); |
141 | extern int os_open_file(const char *file, struct openflags flags, int mode); | 142 | extern int os_open_file(const char *file, struct openflags flags, int mode); |