arch_vm_set_memory_type
status_t arch_vm_set_memory_type(struct VMArea *area, phys_addr_t physicalBase,
status = arch_vm_set_memory_type(area, physicalAddress, memoryType,
status = arch_vm_set_memory_type(newArea, physicalAddress,
status_t error = arch_vm_set_memory_type(area, physicalBase, type, NULL);