void vmlinux_entry(void); void vmlinux_entry(void) { }