38 			fprintf(f, "%d", (tmp.hi || tmp.lo) ? 1 : 0);  in print_bitval()
43 		fprintf(f, "%d", val.lo);  in print_bitval()
46 		fprintf(f, "0%o", val.lo);  in print_bitval()
53 		fprintf(f, " %d", val.lo);  in print_bitval()
66 		fprintf(f, "0x%01x", val.lo & 0xf);  in hexprint()
68 		fprintf(f, "0x%02x", val.lo & 0xff);  in hexprint()
70 		fprintf(f, "0x%03x", val.lo & 0xfff);  in hexprint()
72 		fprintf(f, "0x%04x", val.lo & 0xffff);  in hexprint()
74 		fprintf(f, "0x%05x", val.lo & 0xfffff);  in hexprint()
76 		fprintf(f, "0x%06x", val.lo & 0xffffff);  in hexprint()
78 		fprintf(f, "0x%07x", val.lo & 0xfffffff);  in hexprint()
80 		fprintf(f, "0x%08x", val.lo);  in hexprint()
82 		fprintf(f, "0x%01x%08x", val.hi & 0xf, val.lo);  in hexprint()
84 		fprintf(f, "0x%02x%08x", val.hi & 0xff, val.lo);  in hexprint()
86 		fprintf(f, "0x%03x%08x", val.hi & 0xfff, val.lo);  in hexprint()
88 		fprintf(f, "0x%04x%08x", val.hi & 0xffff, val.lo);  in hexprint()
90 		fprintf(f, "0x%05x%08x", val.hi & 0xfffff, val.lo);  in hexprint()
92 		fprintf(f, "0x%06x%08x", val.hi & 0xffffff, val.lo);  in hexprint()
94 		fprintf(f, "0x%07x%08x", val.hi & 0xfffffff, val.lo);  in hexprint()
96 		fprintf(f, "0x%08x%08x", val.hi, val.lo);  in hexprint()
109 		fputc(val.lo, f);  in strprint()
111 		fputc(val.lo >> 8, f);  in strprint()
113 		fputc(val.lo >> 16, f);  in strprint()
115 		fputc(val.lo >> 24, f);  in strprint()
119 	return a.hi == b.hi && a.lo == b.lo;  in msr_eq()
126 	ret.lo = bits < 32 ? a.lo << bits : 0;  in msr_shl()
129 		ret.hi |= bits ? a.lo >> (32 - bits) : 0;  in msr_shl()
131 		ret.hi |= a.lo << (bits - 32);  in msr_shl()
140 	ret.lo = bits < 32 ? a.lo >> bits : 0;  in msr_shr()
143 		ret.lo |= bits ? a.hi << (32 - bits) : 0;  in msr_shr()
145 		ret.lo |= a.hi >> (bits - 32);  in msr_shr()
152 	a->lo &= b.lo;  in msr_and()
214 		fprintf(f, "0x%08x 0x%08x%08x\n", m->addr, val.hi, val.lo);  in dumpmsrdefsvals()
240 	size_t len, lo;  in str2msr()  local
246 		lo = 0;  in str2msr()
248 		lo = len + strcspn(str + len, HEXCHARS);  in str2msr()
249 		if (0 == len && 0 == strspn(str + lo, HEXCHARS))  in str2msr()
256 		lo = len - 8;  in str2msr()
257 		c = str[lo];  in str2msr()
258 		str[lo] = 0;  in str2msr()
260 		str[lo] = c;  in str2msr()
262 	msr->lo = strtoul(str + lo, endptr, 16);  in str2msr()
273 	printf("0x%08x = 0x%08x%08x\n", addr, val.hi, val.lo);  in decodemsr()
284 		mask.hi = mask.lo = 0xffffffff;  in decodemsr()
309 	if (a.hi == b.hi && a.lo == b.lo)  in diff_msr()
321 		mask.hi = mask.lo = 0xffffffff;  in diff_msr()
331 			fprintf(f, "-0x%08x 0x%08x%08x\n", addr, a.hi, a.lo);  in diff_msr()
332 			fprintf(f, "+0x%08x 0x%08x%08x\n", addr, b.hi, b.lo);  in diff_msr()