brcond - OpenBSD

73

int brcond(int, u_int32_t, const char *, vaddr_t);

886

{ 0xf8000000, 0xd0000000, brcond, "bb0" },

887

{ 0xf8000000, 0xd8000000, brcond, "bb1" },

888

{ 0xf8000000, 0xe8000000, brcond, "bcnd" },

991

{ 0xf8000000, 0xd0000000, brcond, "bb0" },

992

{ 0xf8000000, 0xd8000000, brcond, "bb1" },

993

{ 0xf8000000, 0xe8000000, brcond, "bcnd" },