legion: Fix some mappings to use 64-bit integers properly
legion: Fix some mappings to use 64-bit integers properly

sdalton1/legion,StanfordLegion/legion,StanfordLegion/legion,sdalton1/legion,sdalton1/legion,StanfordLegion/legion,StanfordLegion/legion,StanfordLegion/legion,sdalton1/legion,sdalton1/legion,sdalton1/legion,StanfordLegion/legion,StanfordLegion/legion,StanfordLegion/legion