void NOCASH_Printf(char* msg, ...) { va_list argptr; va_start(argptr, msg); uint8_t* p = (uint8_t*)&msgdata; ((uint16_t*)p)[0] = 0x6464; ((uint16_t*)p)[1] = 0; p += 4; OS_VSPrintf((char*)p, msg, argptr); print_asm(); va_end(va); }
static void do_ret() { cpu.eip = swaddr_read(cpu.esp, 4); cpu.esp += 4; print_asm("ret"); }