vm_memset_physical
status_t vm_memset_physical(phys_addr_t address, int value, phys_size_t length);
: vm_memset_physical(vecAddress, 0, toCopy));
vm_memset_physical(
vm_memset_physical(vecs[i].base + vecs[i].length - length, 0,
vm_memset_physical(last + lastPageOffset, 0,
vm_memset_physical(last + bytesRead, 0,
vm_memset_physical(base + pageOffset, 0, bytes);
vm_memset_physical(pageAddress, 0, bytesInPage);
vm_memset_physical(address, 0, length);
return vm_memset_physical((phys_addr_t)external, 0, (phys_size_t)size);
vm_memset_physical(page->physical_page_number * B_PAGE_SIZE
vm_memset_physical(page->physical_page_number << PAGE_SHIFT, 0,