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

.globl syscall
syscall:
        int $0x30
        retl