Rename the port functions appropriately.
Rename the port functions appropriately.

rowhit/HaLVM,thumphries/HaLVM,ggkitsas/HaLVM,mwotton/HaLVM,GaloisInc/HaLVM,GaloisInc/HaLVM,elijah513/HaLVM,elijah513/HaLVM,mwotton/HaLVM,mwotton/HaLVM,ggkitsas/HaLVM,elijah513/HaLVM,ggkitsas/HaLVM,rowhit/HaLVM,rowhit/HaLVM,thumphries/HaLVM,GaloisInc/HaLVM