vm_put_physical_page
status_t vm_put_physical_page(addr_t vaddr, void* handle);
vm_put_physical_page(address, handle);
vm_put_physical_page(address, handle);
vm_put_physical_page(virtual_address, physical_page_handle);