Symbol: vmp_mark_dirty
usr/src/uts/intel/io/vmm/sys/vmm_vm.h
79
void vmp_mark_dirty(vm_page_t *);
usr/src/uts/intel/io/vmm/vmm_sol_dev.c
2477
return (vmp_mark_dirty((vm_page_t *)vmmp));