142             rt_kprintf("addb\n");  in finsh_disassemble()
147             rt_kprintf("subb\n");  in finsh_disassemble()
152             rt_kprintf("divb\n");  in finsh_disassemble()
157             rt_kprintf("modb\n");  in finsh_disassemble()
162             rt_kprintf("mulb\n");  in finsh_disassemble()
167             rt_kprintf("andb\n");  in finsh_disassemble()
172             rt_kprintf("orb\n");  in finsh_disassemble()
177             rt_kprintf("xorb\n");  in finsh_disassemble()
182             rt_kprintf("bwb\n");  in finsh_disassemble()
187             rt_kprintf("shlb\n");  in finsh_disassemble()
192             rt_kprintf("shrb\n");  in finsh_disassemble()
197             rt_kprintf("ldb %d\n", *pc++);  in finsh_disassemble()
202             rt_kprintf("ldb [0x%x]\n", FINSH_GET32(pc));  in finsh_disassemble()
208             rt_kprintf("stb\n");  in finsh_disassemble()
213             rt_kprintf("addw\n");  in finsh_disassemble()
218             rt_kprintf("subw\n");  in finsh_disassemble()
223             rt_kprintf("divw\n");  in finsh_disassemble()
228             rt_kprintf("modw\n");  in finsh_disassemble()
233             rt_kprintf("mulw\n");  in finsh_disassemble()
238             rt_kprintf("andw\n");  in finsh_disassemble()
243             rt_kprintf("orw\n");  in finsh_disassemble()
248             rt_kprintf("xorw\n");  in finsh_disassemble()
253             rt_kprintf("bww\n");  in finsh_disassemble()
258             rt_kprintf("shlw\n");  in finsh_disassemble()
263             rt_kprintf("shrw\n");  in finsh_disassemble()
268             rt_kprintf("ldw %d\n", FINSH_GET16(pc));  in finsh_disassemble()
274             rt_kprintf("ldw [0x%x]\n", FINSH_GET32(pc));  in finsh_disassemble()
280             rt_kprintf("stw\n");  in finsh_disassemble()
285             rt_kprintf("addd\n");  in finsh_disassemble()
290             rt_kprintf("subd\n");  in finsh_disassemble()
295             rt_kprintf("divd\n");  in finsh_disassemble()
300             rt_kprintf("modd\n");  in finsh_disassemble()
305             rt_kprintf("muld\n");  in finsh_disassemble()
310             rt_kprintf("andd\n");  in finsh_disassemble()
315             rt_kprintf("ord\n");  in finsh_disassemble()
320             rt_kprintf("xord\n");  in finsh_disassemble()
325             rt_kprintf("bwd\n");  in finsh_disassemble()
330             rt_kprintf("shld\n");  in finsh_disassemble()
335             rt_kprintf("shrd\n");  in finsh_disassemble()
340             rt_kprintf("ldd 0x%x\n", FINSH_GET32(pc));  in finsh_disassemble()
346             rt_kprintf("ldd [0x%x]\n", FINSH_GET32(pc));  in finsh_disassemble()
352             rt_kprintf("std\n");  in finsh_disassemble()
356             rt_kprintf("pop\n");  in finsh_disassemble()
362             rt_kprintf("syscall %d\n", *pc++);  in finsh_disassemble()
367             rt_kprintf("ldb [sp]\n");  in finsh_disassemble()
372             rt_kprintf("ldw [sp]\n");  in finsh_disassemble()
377             rt_kprintf("ldd [sp]\n");  in finsh_disassemble()