+#else
+
+/* __ROMCC__ */
+
+#define print_emerg(STR) __console_tx_string(BIOS_EMERG, STR)
+#define print_alert(STR) __console_tx_string(BIOS_ALERT, STR)
+#define print_crit(STR) __console_tx_string(BIOS_CRIT, STR)
+#define print_err(STR) __console_tx_string(BIOS_ERR, STR)
+#define print_warning(STR) __console_tx_string(BIOS_WARNING, STR)
+#define print_notice(STR) __console_tx_string(BIOS_NOTICE, STR)
+#define print_info(STR) __console_tx_string(BIOS_INFO, STR)
+#define print_debug(STR) __console_tx_string(BIOS_DEBUG, STR)
+#define print_spew(STR) __console_tx_string(BIOS_SPEW, STR)
+
+#define print_emerg_char(CH) __console_tx_char(BIOS_EMERG, CH)
+#define print_alert_char(CH) __console_tx_char(BIOS_ALERT, CH)
+#define print_crit_char(CH) __console_tx_char(BIOS_CRIT, CH)
+#define print_err_char(CH) __console_tx_char(BIOS_ERR, CH)
+#define print_warning_char(CH) __console_tx_char(BIOS_WARNING, CH)
+#define print_notice_char(CH) __console_tx_char(BIOS_NOTICE, CH)
+#define print_info_char(CH) __console_tx_char(BIOS_INFO, CH)
+#define print_debug_char(CH) __console_tx_char(BIOS_DEBUG, CH)
+#define print_spew_char(CH) __console_tx_char(BIOS_SPEW, CH)
+
+#define print_emerg_hex8(HEX) __console_tx_hex8(BIOS_EMERG, HEX)
+#define print_alert_hex8(HEX) __console_tx_hex8(BIOS_ALERT, HEX)
+#define print_crit_hex8(HEX) __console_tx_hex8(BIOS_CRIT, HEX)
+#define print_err_hex8(HEX) __console_tx_hex8(BIOS_ERR, HEX)
+#define print_warning_hex8(HEX) __console_tx_hex8(BIOS_WARNING, HEX)
+#define print_notice_hex8(HEX) __console_tx_hex8(BIOS_NOTICE, HEX)
+#define print_info_hex8(HEX) __console_tx_hex8(BIOS_INFO, HEX)
+#define print_debug_hex8(HEX) __console_tx_hex8(BIOS_DEBUG, HEX)
+#define print_spew_hex8(HEX) __console_tx_hex8(BIOS_SPEW, HEX)
+
+#define print_emerg_hex16(HEX) __console_tx_hex16(BIOS_EMERG, HEX)
+#define print_alert_hex16(HEX) __console_tx_hex16(BIOS_ALERT, HEX)
+#define print_crit_hex16(HEX) __console_tx_hex16(BIOS_CRIT, HEX)
+#define print_err_hex16(HEX) __console_tx_hex16(BIOS_ERR, HEX)
+#define print_warning_hex16(HEX) __console_tx_hex16(BIOS_WARNING, HEX)
+#define print_notice_hex16(HEX) __console_tx_hex16(BIOS_NOTICE, HEX)
+#define print_info_hex16(HEX) __console_tx_hex16(BIOS_INFO, HEX)
+#define print_debug_hex16(HEX) __console_tx_hex16(BIOS_DEBUG, HEX)
+#define print_spew_hex16(HEX) __console_tx_hex16(BIOS_SPEW, HEX)
+
+#define print_emerg_hex32(HEX) __console_tx_hex32(BIOS_EMERG, HEX)
+#define print_alert_hex32(HEX) __console_tx_hex32(BIOS_ALERT, HEX)
+#define print_crit_hex32(HEX) __console_tx_hex32(BIOS_CRIT, HEX)
+#define print_err_hex32(HEX) __console_tx_hex32(BIOS_ERR, HEX)
+#define print_warning_hex32(HEX) __console_tx_hex32(BIOS_WARNING, HEX)
+#define print_notice_hex32(HEX) __console_tx_hex32(BIOS_NOTICE, HEX)
+#define print_info_hex32(HEX) __console_tx_hex32(BIOS_INFO, HEX)
+#define print_debug_hex32(HEX) __console_tx_hex32(BIOS_DEBUG, HEX)
+#define print_spew_hex32(HEX) __console_tx_hex32(BIOS_SPEW, HEX)
+
+#include "arch/x86/lib/romcc_console.c"
+
+#endif /* __ROMCC__ */
+