[patch 4/6] mmu_notifier: Skeleton driver for a simple mmu_notifier

This is example code for a simple device driver interface to unmap pages that were externally mapped. Locking is simple through a single lock that is used to protect the device drivers data structures as well as a counter that tracks the active invalidates on a single address space. The

[patch 4/6] mmu_notifier: Skeleton driver for a simple mmu_notifier

This is example code for a simple device driver interface to unmap pages that were externally mapped. Locking is simple through a single lock that is used to protect the device drivers data structures as well as a counter that tracks the active invalidates on a single address space. The

[patch 4/6] mmu_notifier: Skeleton driver for a simple mmu_notifier

This is example code for a simple device driver interface to unmap pages that were externally mapped. Locking is simple through a single lock that is used to protect the device drivers data structures as well as a counter that tracks the active invalidates on a single address space. The

[patch 4/6] mmu_notifier: Skeleton driver for a simple mmu_notifier

This is example code for a simple device driver interface to unmap pages that were externally mapped. Locking is simple through a single lock that is used to protect the device drivers data structures as well as a counter that tracks the active invalidates on a single address space. The