vmm_drv_page_next
vp = vmm_drv_page_next(vp)) {
extern vmm_page_t *vmm_drv_page_next(const vmm_page_t *);