1b2441318SGreg Kroah-Hartman /* SPDX-License-Identifier: GPL-2.0 */ 2cddb8a5cSAndrea Arcangeli #ifndef _LINUX_MMU_NOTIFIER_H 3cddb8a5cSAndrea Arcangeli #define _LINUX_MMU_NOTIFIER_H 4cddb8a5cSAndrea Arcangeli 5cddb8a5cSAndrea Arcangeli #include <linux/list.h> 6cddb8a5cSAndrea Arcangeli #include <linux/spinlock.h> 7cddb8a5cSAndrea Arcangeli #include <linux/mm_types.h> 8b72327fcSMichel Lespinasse #include <linux/mmap_lock.h> 921a92735SSagi Grimberg #include <linux/srcu.h> 1099cb252fSJason Gunthorpe #include <linux/interval_tree.h> 11cddb8a5cSAndrea Arcangeli 12984cfe4eSJason Gunthorpe struct mmu_notifier_subscriptions; 13cddb8a5cSAndrea Arcangeli struct mmu_notifier; 1456f434f4SJason Gunthorpe struct mmu_notifier_range; 1599cb252fSJason Gunthorpe struct mmu_interval_notifier; 16cddb8a5cSAndrea Arcangeli 17d87f055bSJérôme Glisse /** 18d87f055bSJérôme Glisse * enum mmu_notifier_event - reason for the mmu notifier callback 19d87f055bSJérôme Glisse * @MMU_NOTIFY_UNMAP: either munmap() that unmap the range or a mremap() that 20d87f055bSJérôme Glisse * move the range 21d87f055bSJérôme Glisse * 22d87f055bSJérôme Glisse * @MMU_NOTIFY_CLEAR: clear page table entry (many reasons for this like 23d87f055bSJérôme Glisse * madvise() or replacing a page by another one, ...). 24d87f055bSJérôme Glisse * 25d87f055bSJérôme Glisse * @MMU_NOTIFY_PROTECTION_VMA: update is due to protection change for the range 26d87f055bSJérôme Glisse * ie using the vma access permission (vm_page_prot) to update the whole range 27d87f055bSJérôme Glisse * is enough no need to inspect changes to the CPU page table (mprotect() 28d87f055bSJérôme Glisse * syscall) 29d87f055bSJérôme Glisse * 30d87f055bSJérôme Glisse * @MMU_NOTIFY_PROTECTION_PAGE: update is due to change in read/write flag for 31d87f055bSJérôme Glisse * pages in the range so to mirror those changes the user must inspect the CPU 32d87f055bSJérôme Glisse * page table (from the end callback). 33d87f055bSJérôme Glisse * 34d87f055bSJérôme Glisse * @MMU_NOTIFY_SOFT_DIRTY: soft dirty accounting (still same page and same 35d87f055bSJérôme Glisse * access flags). User should soft dirty the page in the end callback to make 3606c88398SZhen Lei * sure that anyone relying on soft dirtiness catch pages that might be written 37d87f055bSJérôme Glisse * through non CPU mappings. 3899cb252fSJason Gunthorpe * 3999cb252fSJason Gunthorpe * @MMU_NOTIFY_RELEASE: used during mmu_interval_notifier invalidate to signal 4099cb252fSJason Gunthorpe * that the mm refcount is zero and the range is no longer accessible. 41998427b3SRalph Campbell * 42998427b3SRalph Campbell * @MMU_NOTIFY_MIGRATE: used during migrate_vma_collect() invalidate to signal 43998427b3SRalph Campbell * a device driver to possibly ignore the invalidation if the 446b49bf6dSAlistair Popple * owner field matches the driver's device private pgmap owner. 45b756a3b5SAlistair Popple * 46b756a3b5SAlistair Popple * @MMU_NOTIFY_EXCLUSIVE: to signal a device driver that the device will no 47b756a3b5SAlistair Popple * longer have exclusive access to the page. When sent during creation of an 48b756a3b5SAlistair Popple * exclusive range the owner will be initialised to the value provided by the 49b756a3b5SAlistair Popple * caller of make_device_exclusive_range(), otherwise the owner will be NULL. 50d87f055bSJérôme Glisse */ 51d87f055bSJérôme Glisse enum mmu_notifier_event { 52d87f055bSJérôme Glisse MMU_NOTIFY_UNMAP = 0, 53d87f055bSJérôme Glisse MMU_NOTIFY_CLEAR, 54d87f055bSJérôme Glisse MMU_NOTIFY_PROTECTION_VMA, 55d87f055bSJérôme Glisse MMU_NOTIFY_PROTECTION_PAGE, 56d87f055bSJérôme Glisse MMU_NOTIFY_SOFT_DIRTY, 5799cb252fSJason Gunthorpe MMU_NOTIFY_RELEASE, 58998427b3SRalph Campbell MMU_NOTIFY_MIGRATE, 59b756a3b5SAlistair Popple MMU_NOTIFY_EXCLUSIVE, 60d87f055bSJérôme Glisse }; 61d87f055bSJérôme Glisse 6227560ee9SJérôme Glisse #define MMU_NOTIFIER_RANGE_BLOCKABLE (1 << 0) 6327560ee9SJérôme Glisse 64cddb8a5cSAndrea Arcangeli struct mmu_notifier_ops { 65cddb8a5cSAndrea Arcangeli /* 66cddb8a5cSAndrea Arcangeli * Called either by mmu_notifier_unregister or when the mm is 67cddb8a5cSAndrea Arcangeli * being destroyed by exit_mmap, always before all pages are 68cddb8a5cSAndrea Arcangeli * freed. This can run concurrently with other mmu notifier 69cddb8a5cSAndrea Arcangeli * methods (the ones invoked outside the mm context) and it 70cddb8a5cSAndrea Arcangeli * should tear down all secondary mmu mappings and freeze the 71cddb8a5cSAndrea Arcangeli * secondary mmu. If this method isn't implemented you've to 72cddb8a5cSAndrea Arcangeli * be sure that nothing could possibly write to the pages 73cddb8a5cSAndrea Arcangeli * through the secondary mmu by the time the last thread with 74cddb8a5cSAndrea Arcangeli * tsk->mm == mm exits. 75cddb8a5cSAndrea Arcangeli * 76cddb8a5cSAndrea Arcangeli * As side note: the pages freed after ->release returns could 77cddb8a5cSAndrea Arcangeli * be immediately reallocated by the gart at an alias physical 78cddb8a5cSAndrea Arcangeli * address with a different cache model, so if ->release isn't 79cddb8a5cSAndrea Arcangeli * implemented because all _software_ driven memory accesses 80cddb8a5cSAndrea Arcangeli * through the secondary mmu are terminated by the time the 81cddb8a5cSAndrea Arcangeli * last thread of this mm quits, you've also to be sure that 82cddb8a5cSAndrea Arcangeli * speculative _hardware_ operations can't allocate dirty 83cddb8a5cSAndrea Arcangeli * cachelines in the cpu that could not be snooped and made 84cddb8a5cSAndrea Arcangeli * coherent with the other read and write operations happening 85cddb8a5cSAndrea Arcangeli * through the gart alias address, so leading to memory 86cddb8a5cSAndrea Arcangeli * corruption. 87cddb8a5cSAndrea Arcangeli */ 881991722aSJason Gunthorpe void (*release)(struct mmu_notifier *subscription, 89cddb8a5cSAndrea Arcangeli struct mm_struct *mm); 90cddb8a5cSAndrea Arcangeli 91cddb8a5cSAndrea Arcangeli /* 92cddb8a5cSAndrea Arcangeli * clear_flush_young is called after the VM is 93cddb8a5cSAndrea Arcangeli * test-and-clearing the young/accessed bitflag in the 94cddb8a5cSAndrea Arcangeli * pte. This way the VM will provide proper aging to the 95cddb8a5cSAndrea Arcangeli * accesses to the page through the secondary MMUs and not 96cddb8a5cSAndrea Arcangeli * only to the ones through the Linux pte. 9757128468SAndres Lagar-Cavilla * Start-end is necessary in case the secondary MMU is mapping the page 9857128468SAndres Lagar-Cavilla * at a smaller granularity than the primary MMU. 99cddb8a5cSAndrea Arcangeli */ 1001991722aSJason Gunthorpe int (*clear_flush_young)(struct mmu_notifier *subscription, 101cddb8a5cSAndrea Arcangeli struct mm_struct *mm, 10257128468SAndres Lagar-Cavilla unsigned long start, 10357128468SAndres Lagar-Cavilla unsigned long end); 104cddb8a5cSAndrea Arcangeli 105cddb8a5cSAndrea Arcangeli /* 1061d7715c6SVladimir Davydov * clear_young is a lightweight version of clear_flush_young. Like the 1071d7715c6SVladimir Davydov * latter, it is supposed to test-and-clear the young/accessed bitflag 1081d7715c6SVladimir Davydov * in the secondary pte, but it may omit flushing the secondary tlb. 1091d7715c6SVladimir Davydov */ 1101991722aSJason Gunthorpe int (*clear_young)(struct mmu_notifier *subscription, 1111d7715c6SVladimir Davydov struct mm_struct *mm, 1121d7715c6SVladimir Davydov unsigned long start, 1131d7715c6SVladimir Davydov unsigned long end); 1141d7715c6SVladimir Davydov 1151d7715c6SVladimir Davydov /* 1168ee53820SAndrea Arcangeli * test_young is called to check the young/accessed bitflag in 1178ee53820SAndrea Arcangeli * the secondary pte. This is used to know if the page is 1188ee53820SAndrea Arcangeli * frequently used without actually clearing the flag or tearing 1198ee53820SAndrea Arcangeli * down the secondary mapping on the page. 1208ee53820SAndrea Arcangeli */ 1211991722aSJason Gunthorpe int (*test_young)(struct mmu_notifier *subscription, 1228ee53820SAndrea Arcangeli struct mm_struct *mm, 1238ee53820SAndrea Arcangeli unsigned long address); 1248ee53820SAndrea Arcangeli 1258ee53820SAndrea Arcangeli /* 126cddb8a5cSAndrea Arcangeli * invalidate_range_start() and invalidate_range_end() must be 127c1e8d7c6SMichel Lespinasse * paired and are called only when the mmap_lock and/or the 1280f0a327fSJoerg Roedel * locks protecting the reverse maps are held. If the subsystem 1290f0a327fSJoerg Roedel * can't guarantee that no additional references are taken to 1300f0a327fSJoerg Roedel * the pages in the range, it has to implement the 1310f0a327fSJoerg Roedel * invalidate_range() notifier to remove any references taken 1320f0a327fSJoerg Roedel * after invalidate_range_start(). 133cddb8a5cSAndrea Arcangeli * 134cddb8a5cSAndrea Arcangeli * Invalidation of multiple concurrent ranges may be 135cddb8a5cSAndrea Arcangeli * optionally permitted by the driver. Either way the 136cddb8a5cSAndrea Arcangeli * establishment of sptes is forbidden in the range passed to 137cddb8a5cSAndrea Arcangeli * invalidate_range_begin/end for the whole duration of the 138cddb8a5cSAndrea Arcangeli * invalidate_range_begin/end critical section. 139cddb8a5cSAndrea Arcangeli * 140cddb8a5cSAndrea Arcangeli * invalidate_range_start() is called when all pages in the 141cddb8a5cSAndrea Arcangeli * range are still mapped and have at least a refcount of one. 142cddb8a5cSAndrea Arcangeli * 143cddb8a5cSAndrea Arcangeli * invalidate_range_end() is called when all pages in the 144cddb8a5cSAndrea Arcangeli * range have been unmapped and the pages have been freed by 145cddb8a5cSAndrea Arcangeli * the VM. 146cddb8a5cSAndrea Arcangeli * 147cddb8a5cSAndrea Arcangeli * The VM will remove the page table entries and potentially 148cddb8a5cSAndrea Arcangeli * the page between invalidate_range_start() and 149cddb8a5cSAndrea Arcangeli * invalidate_range_end(). If the page must not be freed 150cddb8a5cSAndrea Arcangeli * because of pending I/O or other circumstances then the 151cddb8a5cSAndrea Arcangeli * invalidate_range_start() callback (or the initial mapping 152cddb8a5cSAndrea Arcangeli * by the driver) must make sure that the refcount is kept 153cddb8a5cSAndrea Arcangeli * elevated. 154cddb8a5cSAndrea Arcangeli * 155cddb8a5cSAndrea Arcangeli * If the driver increases the refcount when the pages are 156cddb8a5cSAndrea Arcangeli * initially mapped into an address space then either 157cddb8a5cSAndrea Arcangeli * invalidate_range_start() or invalidate_range_end() may 158cddb8a5cSAndrea Arcangeli * decrease the refcount. If the refcount is decreased on 159cddb8a5cSAndrea Arcangeli * invalidate_range_start() then the VM can free pages as page 160cddb8a5cSAndrea Arcangeli * table entries are removed. If the refcount is only 16106c88398SZhen Lei * dropped on invalidate_range_end() then the driver itself 162cddb8a5cSAndrea Arcangeli * will drop the last refcount but it must take care to flush 163cddb8a5cSAndrea Arcangeli * any secondary tlb before doing the final free on the 164cddb8a5cSAndrea Arcangeli * page. Pages will no longer be referenced by the linux 165cddb8a5cSAndrea Arcangeli * address space but may still be referenced by sptes until 166cddb8a5cSAndrea Arcangeli * the last refcount is dropped. 1675ff7091fSDavid Rientjes * 16893065ac7SMichal Hocko * If blockable argument is set to false then the callback cannot 169c2655835SSean Christopherson * sleep and has to return with -EAGAIN if sleeping would be required. 170c2655835SSean Christopherson * 0 should be returned otherwise. Please note that notifiers that can 171c2655835SSean Christopherson * fail invalidate_range_start are not allowed to implement 172c2655835SSean Christopherson * invalidate_range_end, as there is no mechanism for informing the 173c2655835SSean Christopherson * notifier that its start failed. 174cddb8a5cSAndrea Arcangeli */ 1751991722aSJason Gunthorpe int (*invalidate_range_start)(struct mmu_notifier *subscription, 1765d6527a7SJérôme Glisse const struct mmu_notifier_range *range); 1771991722aSJason Gunthorpe void (*invalidate_range_end)(struct mmu_notifier *subscription, 1785d6527a7SJérôme Glisse const struct mmu_notifier_range *range); 1790f0a327fSJoerg Roedel 1800f0a327fSJoerg Roedel /* 1811af5a810SAlistair Popple * arch_invalidate_secondary_tlbs() is used to manage a non-CPU TLB 1821af5a810SAlistair Popple * which shares page-tables with the CPU. The 1831af5a810SAlistair Popple * invalidate_range_start()/end() callbacks should not be implemented as 1841af5a810SAlistair Popple * invalidate_secondary_tlbs() already catches the points in time when 1851af5a810SAlistair Popple * an external TLB needs to be flushed. 1860f0a327fSJoerg Roedel * 1871af5a810SAlistair Popple * This requires arch_invalidate_secondary_tlbs() to be called while 1881af5a810SAlistair Popple * holding the ptl spin-lock and therefore this callback is not allowed 1891af5a810SAlistair Popple * to sleep. 1900f0a327fSJoerg Roedel * 1911af5a810SAlistair Popple * This is called by architecture code whenever invalidating a TLB 1921af5a810SAlistair Popple * entry. It is assumed that any secondary TLB has the same rules for 1931af5a810SAlistair Popple * when invalidations are required. If this is not the case architecture 1941af5a810SAlistair Popple * code will need to call this explicitly when required for secondary 1951af5a810SAlistair Popple * TLB invalidation. 1960f0a327fSJoerg Roedel */ 1971af5a810SAlistair Popple void (*arch_invalidate_secondary_tlbs)( 1981af5a810SAlistair Popple struct mmu_notifier *subscription, 1991991722aSJason Gunthorpe struct mm_struct *mm, 2001991722aSJason Gunthorpe unsigned long start, 2011991722aSJason Gunthorpe unsigned long end); 2022c7933f5SJason Gunthorpe 2032c7933f5SJason Gunthorpe /* 2042c7933f5SJason Gunthorpe * These callbacks are used with the get/put interface to manage the 2052c7933f5SJason Gunthorpe * lifetime of the mmu_notifier memory. alloc_notifier() returns a new 2062c7933f5SJason Gunthorpe * notifier for use with the mm. 2072c7933f5SJason Gunthorpe * 2082c7933f5SJason Gunthorpe * free_notifier() is only called after the mmu_notifier has been 2092c7933f5SJason Gunthorpe * fully put, calls to any ops callback are prevented and no ops 2102c7933f5SJason Gunthorpe * callbacks are currently running. It is called from a SRCU callback 2112c7933f5SJason Gunthorpe * and cannot sleep. 2122c7933f5SJason Gunthorpe */ 2132c7933f5SJason Gunthorpe struct mmu_notifier *(*alloc_notifier)(struct mm_struct *mm); 2141991722aSJason Gunthorpe void (*free_notifier)(struct mmu_notifier *subscription); 215cddb8a5cSAndrea Arcangeli }; 216cddb8a5cSAndrea Arcangeli 217cddb8a5cSAndrea Arcangeli /* 218c1e8d7c6SMichel Lespinasse * The notifier chains are protected by mmap_lock and/or the reverse map 219cddb8a5cSAndrea Arcangeli * semaphores. Notifier chains are only changed when all reverse maps and 220c1e8d7c6SMichel Lespinasse * the mmap_lock locks are taken. 221cddb8a5cSAndrea Arcangeli * 222cddb8a5cSAndrea Arcangeli * Therefore notifier chains can only be traversed when either 223cddb8a5cSAndrea Arcangeli * 224c1e8d7c6SMichel Lespinasse * 1. mmap_lock is held. 225c8c06efaSDavidlohr Bueso * 2. One of the reverse map locks is held (i_mmap_rwsem or anon_vma->rwsem). 226cddb8a5cSAndrea Arcangeli * 3. No other concurrent thread can access the list (release) 227cddb8a5cSAndrea Arcangeli */ 228cddb8a5cSAndrea Arcangeli struct mmu_notifier { 229cddb8a5cSAndrea Arcangeli struct hlist_node hlist; 230cddb8a5cSAndrea Arcangeli const struct mmu_notifier_ops *ops; 2312c7933f5SJason Gunthorpe struct mm_struct *mm; 2322c7933f5SJason Gunthorpe struct rcu_head rcu; 2332c7933f5SJason Gunthorpe unsigned int users; 234cddb8a5cSAndrea Arcangeli }; 235cddb8a5cSAndrea Arcangeli 23699cb252fSJason Gunthorpe /** 23799cb252fSJason Gunthorpe * struct mmu_interval_notifier_ops 23899cb252fSJason Gunthorpe * @invalidate: Upon return the caller must stop using any SPTEs within this 23999cb252fSJason Gunthorpe * range. This function can sleep. Return false only if sleeping 24099cb252fSJason Gunthorpe * was required but mmu_notifier_range_blockable(range) is false. 24199cb252fSJason Gunthorpe */ 24299cb252fSJason Gunthorpe struct mmu_interval_notifier_ops { 2435292e24aSJason Gunthorpe bool (*invalidate)(struct mmu_interval_notifier *interval_sub, 24499cb252fSJason Gunthorpe const struct mmu_notifier_range *range, 24599cb252fSJason Gunthorpe unsigned long cur_seq); 24699cb252fSJason Gunthorpe }; 24799cb252fSJason Gunthorpe 24899cb252fSJason Gunthorpe struct mmu_interval_notifier { 24999cb252fSJason Gunthorpe struct interval_tree_node interval_tree; 25099cb252fSJason Gunthorpe const struct mmu_interval_notifier_ops *ops; 25199cb252fSJason Gunthorpe struct mm_struct *mm; 25299cb252fSJason Gunthorpe struct hlist_node deferred_item; 25399cb252fSJason Gunthorpe unsigned long invalidate_seq; 25499cb252fSJason Gunthorpe }; 25599cb252fSJason Gunthorpe 25656f434f4SJason Gunthorpe #ifdef CONFIG_MMU_NOTIFIER 25756f434f4SJason Gunthorpe 25856f434f4SJason Gunthorpe #ifdef CONFIG_LOCKDEP 25956f434f4SJason Gunthorpe extern struct lockdep_map __mmu_notifier_invalidate_range_start_map; 26056f434f4SJason Gunthorpe #endif 26156f434f4SJason Gunthorpe 26256f434f4SJason Gunthorpe struct mmu_notifier_range { 26356f434f4SJason Gunthorpe struct mm_struct *mm; 26456f434f4SJason Gunthorpe unsigned long start; 26556f434f4SJason Gunthorpe unsigned long end; 26656f434f4SJason Gunthorpe unsigned flags; 26756f434f4SJason Gunthorpe enum mmu_notifier_event event; 2686b49bf6dSAlistair Popple void *owner; 26956f434f4SJason Gunthorpe }; 27056f434f4SJason Gunthorpe 271cddb8a5cSAndrea Arcangeli static inline int mm_has_notifiers(struct mm_struct *mm) 272cddb8a5cSAndrea Arcangeli { 273984cfe4eSJason Gunthorpe return unlikely(mm->notifier_subscriptions); 274cddb8a5cSAndrea Arcangeli } 275cddb8a5cSAndrea Arcangeli 2762c7933f5SJason Gunthorpe struct mmu_notifier *mmu_notifier_get_locked(const struct mmu_notifier_ops *ops, 2772c7933f5SJason Gunthorpe struct mm_struct *mm); 2782c7933f5SJason Gunthorpe static inline struct mmu_notifier * 2792c7933f5SJason Gunthorpe mmu_notifier_get(const struct mmu_notifier_ops *ops, struct mm_struct *mm) 2802c7933f5SJason Gunthorpe { 2812c7933f5SJason Gunthorpe struct mmu_notifier *ret; 2822c7933f5SJason Gunthorpe 283b72327fcSMichel Lespinasse mmap_write_lock(mm); 2842c7933f5SJason Gunthorpe ret = mmu_notifier_get_locked(ops, mm); 285b72327fcSMichel Lespinasse mmap_write_unlock(mm); 2862c7933f5SJason Gunthorpe return ret; 2872c7933f5SJason Gunthorpe } 2881991722aSJason Gunthorpe void mmu_notifier_put(struct mmu_notifier *subscription); 2892c7933f5SJason Gunthorpe void mmu_notifier_synchronize(void); 2902c7933f5SJason Gunthorpe 2911991722aSJason Gunthorpe extern int mmu_notifier_register(struct mmu_notifier *subscription, 292cddb8a5cSAndrea Arcangeli struct mm_struct *mm); 2931991722aSJason Gunthorpe extern int __mmu_notifier_register(struct mmu_notifier *subscription, 294cddb8a5cSAndrea Arcangeli struct mm_struct *mm); 2951991722aSJason Gunthorpe extern void mmu_notifier_unregister(struct mmu_notifier *subscription, 296cddb8a5cSAndrea Arcangeli struct mm_struct *mm); 29799cb252fSJason Gunthorpe 2985292e24aSJason Gunthorpe unsigned long 2995292e24aSJason Gunthorpe mmu_interval_read_begin(struct mmu_interval_notifier *interval_sub); 3005292e24aSJason Gunthorpe int mmu_interval_notifier_insert(struct mmu_interval_notifier *interval_sub, 30199cb252fSJason Gunthorpe struct mm_struct *mm, unsigned long start, 30299cb252fSJason Gunthorpe unsigned long length, 30399cb252fSJason Gunthorpe const struct mmu_interval_notifier_ops *ops); 30499cb252fSJason Gunthorpe int mmu_interval_notifier_insert_locked( 3055292e24aSJason Gunthorpe struct mmu_interval_notifier *interval_sub, struct mm_struct *mm, 30699cb252fSJason Gunthorpe unsigned long start, unsigned long length, 30799cb252fSJason Gunthorpe const struct mmu_interval_notifier_ops *ops); 3085292e24aSJason Gunthorpe void mmu_interval_notifier_remove(struct mmu_interval_notifier *interval_sub); 30999cb252fSJason Gunthorpe 31099cb252fSJason Gunthorpe /** 31199cb252fSJason Gunthorpe * mmu_interval_set_seq - Save the invalidation sequence 3125292e24aSJason Gunthorpe * @interval_sub - The subscription passed to invalidate 31399cb252fSJason Gunthorpe * @cur_seq - The cur_seq passed to the invalidate() callback 31499cb252fSJason Gunthorpe * 31599cb252fSJason Gunthorpe * This must be called unconditionally from the invalidate callback of a 31699cb252fSJason Gunthorpe * struct mmu_interval_notifier_ops under the same lock that is used to call 31799cb252fSJason Gunthorpe * mmu_interval_read_retry(). It updates the sequence number for later use by 31899cb252fSJason Gunthorpe * mmu_interval_read_retry(). The provided cur_seq will always be odd. 31999cb252fSJason Gunthorpe * 32099cb252fSJason Gunthorpe * If the caller does not call mmu_interval_read_begin() or 32199cb252fSJason Gunthorpe * mmu_interval_read_retry() then this call is not required. 32299cb252fSJason Gunthorpe */ 3235292e24aSJason Gunthorpe static inline void 3245292e24aSJason Gunthorpe mmu_interval_set_seq(struct mmu_interval_notifier *interval_sub, 32599cb252fSJason Gunthorpe unsigned long cur_seq) 32699cb252fSJason Gunthorpe { 3275292e24aSJason Gunthorpe WRITE_ONCE(interval_sub->invalidate_seq, cur_seq); 32899cb252fSJason Gunthorpe } 32999cb252fSJason Gunthorpe 33099cb252fSJason Gunthorpe /** 33199cb252fSJason Gunthorpe * mmu_interval_read_retry - End a read side critical section against a VA range 3325292e24aSJason Gunthorpe * interval_sub: The subscription 33399cb252fSJason Gunthorpe * seq: The return of the paired mmu_interval_read_begin() 33499cb252fSJason Gunthorpe * 33599cb252fSJason Gunthorpe * This MUST be called under a user provided lock that is also held 33699cb252fSJason Gunthorpe * unconditionally by op->invalidate() when it calls mmu_interval_set_seq(). 33799cb252fSJason Gunthorpe * 33899cb252fSJason Gunthorpe * Each call should be paired with a single mmu_interval_read_begin() and 33999cb252fSJason Gunthorpe * should be used to conclude the read side. 34099cb252fSJason Gunthorpe * 34199cb252fSJason Gunthorpe * Returns true if an invalidation collided with this critical section, and 34299cb252fSJason Gunthorpe * the caller should retry. 34399cb252fSJason Gunthorpe */ 3445292e24aSJason Gunthorpe static inline bool 3455292e24aSJason Gunthorpe mmu_interval_read_retry(struct mmu_interval_notifier *interval_sub, 34699cb252fSJason Gunthorpe unsigned long seq) 34799cb252fSJason Gunthorpe { 3485292e24aSJason Gunthorpe return interval_sub->invalidate_seq != seq; 34999cb252fSJason Gunthorpe } 35099cb252fSJason Gunthorpe 35199cb252fSJason Gunthorpe /** 35299cb252fSJason Gunthorpe * mmu_interval_check_retry - Test if a collision has occurred 3535292e24aSJason Gunthorpe * interval_sub: The subscription 35499cb252fSJason Gunthorpe * seq: The return of the matching mmu_interval_read_begin() 35599cb252fSJason Gunthorpe * 35699cb252fSJason Gunthorpe * This can be used in the critical section between mmu_interval_read_begin() 35799cb252fSJason Gunthorpe * and mmu_interval_read_retry(). A return of true indicates an invalidation 35899cb252fSJason Gunthorpe * has collided with this critical region and a future 35999cb252fSJason Gunthorpe * mmu_interval_read_retry() will return true. 36099cb252fSJason Gunthorpe * 36199cb252fSJason Gunthorpe * False is not reliable and only suggests a collision may not have 36206c88398SZhen Lei * occurred. It can be called many times and does not have to hold the user 36399cb252fSJason Gunthorpe * provided lock. 36499cb252fSJason Gunthorpe * 36599cb252fSJason Gunthorpe * This call can be used as part of loops and other expensive operations to 36699cb252fSJason Gunthorpe * expedite a retry. 36799cb252fSJason Gunthorpe */ 3685292e24aSJason Gunthorpe static inline bool 3695292e24aSJason Gunthorpe mmu_interval_check_retry(struct mmu_interval_notifier *interval_sub, 37099cb252fSJason Gunthorpe unsigned long seq) 37199cb252fSJason Gunthorpe { 37299cb252fSJason Gunthorpe /* Pairs with the WRITE_ONCE in mmu_interval_set_seq() */ 3735292e24aSJason Gunthorpe return READ_ONCE(interval_sub->invalidate_seq) != seq; 37499cb252fSJason Gunthorpe } 37599cb252fSJason Gunthorpe 376984cfe4eSJason Gunthorpe extern void __mmu_notifier_subscriptions_destroy(struct mm_struct *mm); 377cddb8a5cSAndrea Arcangeli extern void __mmu_notifier_release(struct mm_struct *mm); 378cddb8a5cSAndrea Arcangeli extern int __mmu_notifier_clear_flush_young(struct mm_struct *mm, 37957128468SAndres Lagar-Cavilla unsigned long start, 38057128468SAndres Lagar-Cavilla unsigned long end); 3811d7715c6SVladimir Davydov extern int __mmu_notifier_clear_young(struct mm_struct *mm, 3821d7715c6SVladimir Davydov unsigned long start, 3831d7715c6SVladimir Davydov unsigned long end); 3848ee53820SAndrea Arcangeli extern int __mmu_notifier_test_young(struct mm_struct *mm, 3858ee53820SAndrea Arcangeli unsigned long address); 386ac46d4f3SJérôme Glisse extern int __mmu_notifier_invalidate_range_start(struct mmu_notifier_range *r); 387ec8832d0SAlistair Popple extern void __mmu_notifier_invalidate_range_end(struct mmu_notifier_range *r); 3881af5a810SAlistair Popple extern void __mmu_notifier_arch_invalidate_secondary_tlbs(struct mm_struct *mm, 3890f0a327fSJoerg Roedel unsigned long start, unsigned long end); 390c6d23413SJérôme Glisse extern bool 391c6d23413SJérôme Glisse mmu_notifier_range_update_to_read_only(const struct mmu_notifier_range *range); 392cddb8a5cSAndrea Arcangeli 3934a83bfe9SJérôme Glisse static inline bool 3944a83bfe9SJérôme Glisse mmu_notifier_range_blockable(const struct mmu_notifier_range *range) 3954a83bfe9SJérôme Glisse { 39627560ee9SJérôme Glisse return (range->flags & MMU_NOTIFIER_RANGE_BLOCKABLE); 3974a83bfe9SJérôme Glisse } 3984a83bfe9SJérôme Glisse 399cddb8a5cSAndrea Arcangeli static inline void mmu_notifier_release(struct mm_struct *mm) 400cddb8a5cSAndrea Arcangeli { 401cddb8a5cSAndrea Arcangeli if (mm_has_notifiers(mm)) 402cddb8a5cSAndrea Arcangeli __mmu_notifier_release(mm); 403cddb8a5cSAndrea Arcangeli } 404cddb8a5cSAndrea Arcangeli 405cddb8a5cSAndrea Arcangeli static inline int mmu_notifier_clear_flush_young(struct mm_struct *mm, 40657128468SAndres Lagar-Cavilla unsigned long start, 40757128468SAndres Lagar-Cavilla unsigned long end) 408cddb8a5cSAndrea Arcangeli { 409cddb8a5cSAndrea Arcangeli if (mm_has_notifiers(mm)) 41057128468SAndres Lagar-Cavilla return __mmu_notifier_clear_flush_young(mm, start, end); 411cddb8a5cSAndrea Arcangeli return 0; 412cddb8a5cSAndrea Arcangeli } 413cddb8a5cSAndrea Arcangeli 4141d7715c6SVladimir Davydov static inline int mmu_notifier_clear_young(struct mm_struct *mm, 4151d7715c6SVladimir Davydov unsigned long start, 4161d7715c6SVladimir Davydov unsigned long end) 4171d7715c6SVladimir Davydov { 4181d7715c6SVladimir Davydov if (mm_has_notifiers(mm)) 4191d7715c6SVladimir Davydov return __mmu_notifier_clear_young(mm, start, end); 4201d7715c6SVladimir Davydov return 0; 4211d7715c6SVladimir Davydov } 4221d7715c6SVladimir Davydov 4238ee53820SAndrea Arcangeli static inline int mmu_notifier_test_young(struct mm_struct *mm, 4248ee53820SAndrea Arcangeli unsigned long address) 4258ee53820SAndrea Arcangeli { 4268ee53820SAndrea Arcangeli if (mm_has_notifiers(mm)) 4278ee53820SAndrea Arcangeli return __mmu_notifier_test_young(mm, address); 4288ee53820SAndrea Arcangeli return 0; 4298ee53820SAndrea Arcangeli } 4308ee53820SAndrea Arcangeli 431ac46d4f3SJérôme Glisse static inline void 432ac46d4f3SJérôme Glisse mmu_notifier_invalidate_range_start(struct mmu_notifier_range *range) 433cddb8a5cSAndrea Arcangeli { 434810e24e0SDaniel Vetter might_sleep(); 435810e24e0SDaniel Vetter 43623b68395SDaniel Vetter lock_map_acquire(&__mmu_notifier_invalidate_range_start_map); 437ac46d4f3SJérôme Glisse if (mm_has_notifiers(range->mm)) { 43827560ee9SJérôme Glisse range->flags |= MMU_NOTIFIER_RANGE_BLOCKABLE; 439ac46d4f3SJérôme Glisse __mmu_notifier_invalidate_range_start(range); 440ac46d4f3SJérôme Glisse } 44123b68395SDaniel Vetter lock_map_release(&__mmu_notifier_invalidate_range_start_map); 44293065ac7SMichal Hocko } 44393065ac7SMichal Hocko 4447ced098fSJann Horn /* 4457ced098fSJann Horn * This version of mmu_notifier_invalidate_range_start() avoids blocking, but it 4467ced098fSJann Horn * can return an error if a notifier can't proceed without blocking, in which 4477ced098fSJann Horn * case you're not allowed to modify PTEs in the specified range. 4487ced098fSJann Horn * 4497ced098fSJann Horn * This is mainly intended for OOM handling. 4507ced098fSJann Horn */ 4517ced098fSJann Horn static inline int __must_check 452ac46d4f3SJérôme Glisse mmu_notifier_invalidate_range_start_nonblock(struct mmu_notifier_range *range) 45393065ac7SMichal Hocko { 45423b68395SDaniel Vetter int ret = 0; 45523b68395SDaniel Vetter 45623b68395SDaniel Vetter lock_map_acquire(&__mmu_notifier_invalidate_range_start_map); 457ac46d4f3SJérôme Glisse if (mm_has_notifiers(range->mm)) { 45827560ee9SJérôme Glisse range->flags &= ~MMU_NOTIFIER_RANGE_BLOCKABLE; 45923b68395SDaniel Vetter ret = __mmu_notifier_invalidate_range_start(range); 460ac46d4f3SJérôme Glisse } 46123b68395SDaniel Vetter lock_map_release(&__mmu_notifier_invalidate_range_start_map); 46223b68395SDaniel Vetter return ret; 463cddb8a5cSAndrea Arcangeli } 464cddb8a5cSAndrea Arcangeli 465ac46d4f3SJérôme Glisse static inline void 466ac46d4f3SJérôme Glisse mmu_notifier_invalidate_range_end(struct mmu_notifier_range *range) 467cddb8a5cSAndrea Arcangeli { 468810e24e0SDaniel Vetter if (mmu_notifier_range_blockable(range)) 469810e24e0SDaniel Vetter might_sleep(); 470810e24e0SDaniel Vetter 471ac46d4f3SJérôme Glisse if (mm_has_notifiers(range->mm)) 472ec8832d0SAlistair Popple __mmu_notifier_invalidate_range_end(range); 473cddb8a5cSAndrea Arcangeli } 474cddb8a5cSAndrea Arcangeli 4751af5a810SAlistair Popple static inline void mmu_notifier_arch_invalidate_secondary_tlbs(struct mm_struct *mm, 4761897bdc4SJoerg Roedel unsigned long start, unsigned long end) 4771897bdc4SJoerg Roedel { 4780f0a327fSJoerg Roedel if (mm_has_notifiers(mm)) 4791af5a810SAlistair Popple __mmu_notifier_arch_invalidate_secondary_tlbs(mm, start, end); 4801897bdc4SJoerg Roedel } 4811897bdc4SJoerg Roedel 482984cfe4eSJason Gunthorpe static inline void mmu_notifier_subscriptions_init(struct mm_struct *mm) 483cddb8a5cSAndrea Arcangeli { 484984cfe4eSJason Gunthorpe mm->notifier_subscriptions = NULL; 485cddb8a5cSAndrea Arcangeli } 486cddb8a5cSAndrea Arcangeli 487984cfe4eSJason Gunthorpe static inline void mmu_notifier_subscriptions_destroy(struct mm_struct *mm) 488cddb8a5cSAndrea Arcangeli { 489cddb8a5cSAndrea Arcangeli if (mm_has_notifiers(mm)) 490984cfe4eSJason Gunthorpe __mmu_notifier_subscriptions_destroy(mm); 491cddb8a5cSAndrea Arcangeli } 492cddb8a5cSAndrea Arcangeli 493ac46d4f3SJérôme Glisse 494ac46d4f3SJérôme Glisse static inline void mmu_notifier_range_init(struct mmu_notifier_range *range, 4956f4f13e8SJérôme Glisse enum mmu_notifier_event event, 4966f4f13e8SJérôme Glisse unsigned flags, 497ac46d4f3SJérôme Glisse struct mm_struct *mm, 498ac46d4f3SJérôme Glisse unsigned long start, 499ac46d4f3SJérôme Glisse unsigned long end) 500ac46d4f3SJérôme Glisse { 501bf198b2bSJérôme Glisse range->event = event; 502ac46d4f3SJérôme Glisse range->mm = mm; 503ac46d4f3SJérôme Glisse range->start = start; 504ac46d4f3SJérôme Glisse range->end = end; 505bf198b2bSJérôme Glisse range->flags = flags; 506ac46d4f3SJérôme Glisse } 507ac46d4f3SJérôme Glisse 5086b49bf6dSAlistair Popple static inline void mmu_notifier_range_init_owner( 5096b49bf6dSAlistair Popple struct mmu_notifier_range *range, 5106b49bf6dSAlistair Popple enum mmu_notifier_event event, unsigned int flags, 5117d4a8be0SAlistair Popple struct mm_struct *mm, unsigned long start, 5127d4a8be0SAlistair Popple unsigned long end, void *owner) 513c1a06df6SRalph Campbell { 5147d4a8be0SAlistair Popple mmu_notifier_range_init(range, event, flags, mm, start, end); 5156b49bf6dSAlistair Popple range->owner = owner; 516c1a06df6SRalph Campbell } 517c1a06df6SRalph Campbell 518cddb8a5cSAndrea Arcangeli #define ptep_clear_flush_young_notify(__vma, __address, __ptep) \ 519cddb8a5cSAndrea Arcangeli ({ \ 520cddb8a5cSAndrea Arcangeli int __young; \ 521cddb8a5cSAndrea Arcangeli struct vm_area_struct *___vma = __vma; \ 522cddb8a5cSAndrea Arcangeli unsigned long ___address = __address; \ 523cddb8a5cSAndrea Arcangeli __young = ptep_clear_flush_young(___vma, ___address, __ptep); \ 524cddb8a5cSAndrea Arcangeli __young |= mmu_notifier_clear_flush_young(___vma->vm_mm, \ 52557128468SAndres Lagar-Cavilla ___address, \ 52657128468SAndres Lagar-Cavilla ___address + \ 52757128468SAndres Lagar-Cavilla PAGE_SIZE); \ 528cddb8a5cSAndrea Arcangeli __young; \ 529cddb8a5cSAndrea Arcangeli }) 530cddb8a5cSAndrea Arcangeli 53191a4ee26SAndrea Arcangeli #define pmdp_clear_flush_young_notify(__vma, __address, __pmdp) \ 53291a4ee26SAndrea Arcangeli ({ \ 53391a4ee26SAndrea Arcangeli int __young; \ 53491a4ee26SAndrea Arcangeli struct vm_area_struct *___vma = __vma; \ 53591a4ee26SAndrea Arcangeli unsigned long ___address = __address; \ 53691a4ee26SAndrea Arcangeli __young = pmdp_clear_flush_young(___vma, ___address, __pmdp); \ 53791a4ee26SAndrea Arcangeli __young |= mmu_notifier_clear_flush_young(___vma->vm_mm, \ 53857128468SAndres Lagar-Cavilla ___address, \ 53957128468SAndres Lagar-Cavilla ___address + \ 54057128468SAndres Lagar-Cavilla PMD_SIZE); \ 54191a4ee26SAndrea Arcangeli __young; \ 54291a4ee26SAndrea Arcangeli }) 54391a4ee26SAndrea Arcangeli 5441d7715c6SVladimir Davydov #define ptep_clear_young_notify(__vma, __address, __ptep) \ 5451d7715c6SVladimir Davydov ({ \ 5461d7715c6SVladimir Davydov int __young; \ 5471d7715c6SVladimir Davydov struct vm_area_struct *___vma = __vma; \ 5481d7715c6SVladimir Davydov unsigned long ___address = __address; \ 5491d7715c6SVladimir Davydov __young = ptep_test_and_clear_young(___vma, ___address, __ptep);\ 5501d7715c6SVladimir Davydov __young |= mmu_notifier_clear_young(___vma->vm_mm, ___address, \ 5511d7715c6SVladimir Davydov ___address + PAGE_SIZE); \ 5521d7715c6SVladimir Davydov __young; \ 5531d7715c6SVladimir Davydov }) 5541d7715c6SVladimir Davydov 5551d7715c6SVladimir Davydov #define pmdp_clear_young_notify(__vma, __address, __pmdp) \ 5561d7715c6SVladimir Davydov ({ \ 5571d7715c6SVladimir Davydov int __young; \ 5581d7715c6SVladimir Davydov struct vm_area_struct *___vma = __vma; \ 5591d7715c6SVladimir Davydov unsigned long ___address = __address; \ 5601d7715c6SVladimir Davydov __young = pmdp_test_and_clear_young(___vma, ___address, __pmdp);\ 5611d7715c6SVladimir Davydov __young |= mmu_notifier_clear_young(___vma->vm_mm, ___address, \ 5621d7715c6SVladimir Davydov ___address + PMD_SIZE); \ 5631d7715c6SVladimir Davydov __young; \ 5641d7715c6SVladimir Davydov }) 5651d7715c6SVladimir Davydov 566cddb8a5cSAndrea Arcangeli #else /* CONFIG_MMU_NOTIFIER */ 567cddb8a5cSAndrea Arcangeli 568ac46d4f3SJérôme Glisse struct mmu_notifier_range { 569ac46d4f3SJérôme Glisse unsigned long start; 570ac46d4f3SJérôme Glisse unsigned long end; 571ac46d4f3SJérôme Glisse }; 572ac46d4f3SJérôme Glisse 573ac46d4f3SJérôme Glisse static inline void _mmu_notifier_range_init(struct mmu_notifier_range *range, 574ac46d4f3SJérôme Glisse unsigned long start, 575ac46d4f3SJérôme Glisse unsigned long end) 576ac46d4f3SJérôme Glisse { 577ac46d4f3SJérôme Glisse range->start = start; 578ac46d4f3SJérôme Glisse range->end = end; 579ac46d4f3SJérôme Glisse } 580ac46d4f3SJérôme Glisse 5817d4a8be0SAlistair Popple #define mmu_notifier_range_init(range,event,flags,mm,start,end) \ 582ac46d4f3SJérôme Glisse _mmu_notifier_range_init(range, start, end) 5837d4a8be0SAlistair Popple #define mmu_notifier_range_init_owner(range, event, flags, mm, start, \ 5846b49bf6dSAlistair Popple end, owner) \ 585c1a06df6SRalph Campbell _mmu_notifier_range_init(range, start, end) 586ac46d4f3SJérôme Glisse 5874a83bfe9SJérôme Glisse static inline bool 5884a83bfe9SJérôme Glisse mmu_notifier_range_blockable(const struct mmu_notifier_range *range) 5894a83bfe9SJérôme Glisse { 5904a83bfe9SJérôme Glisse return true; 5914a83bfe9SJérôme Glisse } 592ac46d4f3SJérôme Glisse 5934d4bbd85SMichal Hocko static inline int mm_has_notifiers(struct mm_struct *mm) 5944d4bbd85SMichal Hocko { 5954d4bbd85SMichal Hocko return 0; 5964d4bbd85SMichal Hocko } 5974d4bbd85SMichal Hocko 598cddb8a5cSAndrea Arcangeli static inline void mmu_notifier_release(struct mm_struct *mm) 599cddb8a5cSAndrea Arcangeli { 600cddb8a5cSAndrea Arcangeli } 601cddb8a5cSAndrea Arcangeli 602cddb8a5cSAndrea Arcangeli static inline int mmu_notifier_clear_flush_young(struct mm_struct *mm, 60357128468SAndres Lagar-Cavilla unsigned long start, 60457128468SAndres Lagar-Cavilla unsigned long end) 605cddb8a5cSAndrea Arcangeli { 606cddb8a5cSAndrea Arcangeli return 0; 607cddb8a5cSAndrea Arcangeli } 608cddb8a5cSAndrea Arcangeli 609*628e1b8cSJames Houghton static inline int mmu_notifier_clear_young(struct mm_struct *mm, 610*628e1b8cSJames Houghton unsigned long start, 611*628e1b8cSJames Houghton unsigned long end) 612*628e1b8cSJames Houghton { 613*628e1b8cSJames Houghton return 0; 614*628e1b8cSJames Houghton } 615*628e1b8cSJames Houghton 6168ee53820SAndrea Arcangeli static inline int mmu_notifier_test_young(struct mm_struct *mm, 6178ee53820SAndrea Arcangeli unsigned long address) 6188ee53820SAndrea Arcangeli { 6198ee53820SAndrea Arcangeli return 0; 6208ee53820SAndrea Arcangeli } 6218ee53820SAndrea Arcangeli 622ac46d4f3SJérôme Glisse static inline void 623ac46d4f3SJérôme Glisse mmu_notifier_invalidate_range_start(struct mmu_notifier_range *range) 624cddb8a5cSAndrea Arcangeli { 625cddb8a5cSAndrea Arcangeli } 626cddb8a5cSAndrea Arcangeli 627ac46d4f3SJérôme Glisse static inline int 628ac46d4f3SJérôme Glisse mmu_notifier_invalidate_range_start_nonblock(struct mmu_notifier_range *range) 62993065ac7SMichal Hocko { 63093065ac7SMichal Hocko return 0; 63193065ac7SMichal Hocko } 63293065ac7SMichal Hocko 633ac46d4f3SJérôme Glisse static inline 634ac46d4f3SJérôme Glisse void mmu_notifier_invalidate_range_end(struct mmu_notifier_range *range) 635cddb8a5cSAndrea Arcangeli { 636cddb8a5cSAndrea Arcangeli } 637cddb8a5cSAndrea Arcangeli 6381af5a810SAlistair Popple static inline void mmu_notifier_arch_invalidate_secondary_tlbs(struct mm_struct *mm, 6391897bdc4SJoerg Roedel unsigned long start, unsigned long end) 6401897bdc4SJoerg Roedel { 6411897bdc4SJoerg Roedel } 6421897bdc4SJoerg Roedel 643984cfe4eSJason Gunthorpe static inline void mmu_notifier_subscriptions_init(struct mm_struct *mm) 644cddb8a5cSAndrea Arcangeli { 645cddb8a5cSAndrea Arcangeli } 646cddb8a5cSAndrea Arcangeli 647984cfe4eSJason Gunthorpe static inline void mmu_notifier_subscriptions_destroy(struct mm_struct *mm) 648cddb8a5cSAndrea Arcangeli { 649cddb8a5cSAndrea Arcangeli } 650cddb8a5cSAndrea Arcangeli 651c6d23413SJérôme Glisse #define mmu_notifier_range_update_to_read_only(r) false 652c6d23413SJérôme Glisse 653cddb8a5cSAndrea Arcangeli #define ptep_clear_flush_young_notify ptep_clear_flush_young 65491a4ee26SAndrea Arcangeli #define pmdp_clear_flush_young_notify pmdp_clear_flush_young 65533c3fc71SVladimir Davydov #define ptep_clear_young_notify ptep_test_and_clear_young 65633c3fc71SVladimir Davydov #define pmdp_clear_young_notify pmdp_test_and_clear_young 65734ee645eSJoerg Roedel #define ptep_clear_flush_notify ptep_clear_flush 6588809aa2dSAneesh Kumar K.V #define pmdp_huge_clear_flush_notify pmdp_huge_clear_flush 659a00cc7d9SMatthew Wilcox #define pudp_huge_clear_flush_notify pudp_huge_clear_flush 660cddb8a5cSAndrea Arcangeli 6612c7933f5SJason Gunthorpe static inline void mmu_notifier_synchronize(void) 6622c7933f5SJason Gunthorpe { 6632c7933f5SJason Gunthorpe } 6642c7933f5SJason Gunthorpe 665cddb8a5cSAndrea Arcangeli #endif /* CONFIG_MMU_NOTIFIER */ 666cddb8a5cSAndrea Arcangeli 667cddb8a5cSAndrea Arcangeli #endif /* _LINUX_MMU_NOTIFIER_H */ 668