brcond
int brcond(int, u_int32_t, const char *, vaddr_t);
{ 0xf8000000, 0xd0000000, brcond, "bb0" },
{ 0xf8000000, 0xd8000000, brcond, "bb1" },
{ 0xf8000000, 0xe8000000, brcond, "bcnd" },
{ 0xf8000000, 0xd0000000, brcond, "bb0" },
{ 0xf8000000, 0xd8000000, brcond, "bb1" },
{ 0xf8000000, 0xe8000000, brcond, "bcnd" },