1 #include <stdio.h> 2 3 int syscall_enter(openat)(void *args) 4 { 5 puts("Hello, world\n"); 6 return 0; 7 } 8 9 license(GPL);