obranch
int obranch(int, u_int32_t, const char *, vaddr_t);
{ 0xf8000000, 0xc0000000, obranch, "br" },
{ 0xf8000000, 0xc8000000, obranch, "bsr" },
{ 0xf8000000, 0xc0000000, obranch, "br" },
{ 0xf8000000, 0xc8000000, obranch, "bsr" },