[pintos-anon] / src / lib / user / syscall-stub.S

.globl syscall
syscall:
        popl %ecx
        int $0x30
        jmpl *%ecx