vm_page_busy_downgrade
vm_page_busy_downgrade(ma[i]);
vm_page_busy_downgrade(m);
void vm_page_busy_downgrade(vm_page_t m);
vm_page_busy_downgrade(mc[i]);