vmm_drv_page_mark_dirty
vmm_drv_page_mark_dirty(vp);
extern void vmm_drv_page_mark_dirty(vmm_page_t *);