instset
{ 0xfc1fffe0, 0xf400e800, instset, "ff1" },
{ 0xfc1fffe0, 0xf400ec00, instset, "ff0" },
{ 0xffe0ffe0, 0xf400f800, instset, "tbnd" },
{ 0xffffffff, 0xf400fc00, instset, "rte" },
{ 0xfffffffc, 0xf400fc00, instset, "illop" },
{ 0xffe00000, 0xf8000000, instset, "tbnd" },
int instset(int, u_int32_t, const char *, vaddr_t);
{ 0xfc00ffe0, 0xf400e800, instset, "ff1" },
{ 0xfc00ffe0, 0xf400ec00, instset, "ff0" },
{ 0xfc00ffe0, 0xf400f800, instset, "tbnd" },
{ 0xfc00ffe0, 0xf400fc00, instset, "rte" },
{ 0xfc000000, 0xf8000000, instset, "tbnd" },