bitman
{ 0xfc00ffe0, 0xf4008000, bitman, "clr" },
{ 0xfc00ffe0, 0xf4008800, bitman, "set" },
{ 0xfc00ffe0, 0xf4009000, bitman, "ext" },
{ 0xfc00ffe0, 0xf4009800, bitman, "extu" },
{ 0xfc00ffe0, 0xf400a000, bitman, "mak" },
{ 0xfc00ffe0, 0xf400a800, bitman, "rot" },
int bitman(int, u_int32_t, const char *, vaddr_t);
{ 0xfc00ffe0, 0xf4008000, bitman, "clr" },
{ 0xfc00ffe0, 0xf4008800, bitman, "set" },
{ 0xfc00ffe0, 0xf4009000, bitman, "ext" },
{ 0xfc00ffe0, 0xf4009800, bitman, "extu" },
{ 0xfc00ffe0, 0xf400a000, bitman, "mak" },
{ 0xfc00ffe0, 0xf400a800, bitman, "rot" },