linuxkpi: use iterator in zap_vma_ptes
Change zap_vma_ptes() to use iterators, rather than TAILQ pointers.
Reviewed by: kib
Differential Revision: https://reviews.freebsd.org/D49918
linuxkpi: use iterator in zap_vma_ptes Tags None Referenced Files None Subscribers None
Description
Details
|