path: root/arch/ia64/kernel/head.h

extern void console_print(const char *s);