Symbol: vm_page_dirty_KBI
sys/vm/vm_page.h
674
void vm_page_dirty_KBI(vm_page_t m);
sys/vm/vm_page.h
845
vm_page_dirty_KBI(m);