tree 5a01f9052f37ae08c249b080b5d1bda8825d3427
parent 32fb9c1d9701d8628a5091251e0e463e49e7df9f
author Doug Evans <dje@google.com> 1489281580 -0800
committer Doug Evans <dje@google.com> 1489591155 +0000

add pt_insn_get_cr3

Change-Id: Ie8716eb3f46c6eea7cd400f6ffac7b7ddb2cf0ca