vm_put_physical_page_current_cpu
status_t vm_put_physical_page_current_cpu(addr_t vaddr, void* handle);
vm_put_physical_page_current_cpu(virtualAddress, handle);
vm_put_physical_page_current_cpu((addr_t)pageData, handle);
vm_put_physical_page_current_cpu(virtualAddress, handle);
vm_put_physical_page_current_cpu(toVirtual, toHandle);
vm_put_physical_page_current_cpu(fromVirtual, fromHandle);
vm_put_physical_page_current_cpu(virtualAddress, handle);
vm_put_physical_page_current_cpu(virtualAddress, handle);