def post_syscall_hap(sc, obj, type, bp_id, dummy1, dummy2):
    name, params, retfmt, task = sc
    cpu = SIM_current_processor()
    # Same context?
    if task != current_task(cpu):
        return
    # print "post_syscall_hap(%s, %s, %s, %s, %s)" % (sc, type, bp_id, dummy1, dummy2)
    SIM_delete_breakpoint(bp_id)
    SIM_hap_delete_callback("Core_Breakpoint", post_syscall_hap, sc);
    del hap_data[bp_id]
    if not retfmt:
        ret = "??"
    else:
        ret = format_reg(8, retfmt)
    pid, comm = current_process(cpu)
    print "[%s] %d [%d:%s] %s(%s) -> %s" % (cpu.name, SIM_cycle_count(cpu),
                                            pid, comm,
                                            name, format_params(params), ret)