#include <console/console.h>
#endif
+#include <lib.h>
+
/* Assume 8 bits per byte */
#define CHAR_BIT 8
if (! x) {
#ifdef DEBUG_LOG2
- printk_warning("%s called with invalid parameter of 0\n",
+ printk(BIOS_WARNING, "%s called with invalid parameter of 0\n",
__func__);
#endif
return -1;