Michael Zhilin 4dfc28b7e8 [MIPS] Fix Config3[ULRI] printing
Bit identifier of printf %b is octal integer, but not decimal. ULRI bit is
13-th bit (starting with 0) according to MIPS Architecture Volume III v.6.
In this case the bit identifier (starts with 1) should be \16.

Reviewed by:    gonzo
Approved by:	adrian(mentor)
Differential Revision:	https://reviews.freebsd.org/D8516
2016-11-15 20:44:19 +00:00
..
2016-10-17 10:20:38 +00:00
2016-10-17 10:20:38 +00:00
2016-11-15 20:44:19 +00:00
2016-10-17 10:20:38 +00:00
2016-10-17 10:20:38 +00:00