Question
In this function :
void asm_push_args(const char *ins, va_list args)
{
va_list args2; va_copy(args2, args);
vfprintf(stdout, ins, args);
fprintf(stdout, "\n");
if (current_process->ofile)
{
vfprintf(current_process->ofile, ins, args2);
fprintf(current_process->ofile, "\n");
}
}
The line after va_copy(args2, args); Should we use vfprintf(stdout, ins, args2) instead of vfprintf(stdout, ins, args)? I am not sure.