Rename printk() to printf().
[pintos-anon] / src / lib / user / syscall-stub.S
1 .globl syscall
2 syscall:
3         int $0x30
4         retl