gpregs64_str = ["X%d" % i for i in range(0x1E)] + ["LR", "SP"]