1 2 3 4 5 6 7 8
#include <syscall.h> // for __syscall_0, syscall int pause(void) { return syscall(pause); }