#define VGABASE 0xffffffff800b8000ul /* This is "wrong" address to access it, we should access it using 0xffff8000000b8000ul; but 0xffff8000000b8000ul is not available early at boot. */
#define VGABASE 0xffffffff800b8000UL
#define MAX_YPOS 25
#define MAX_YPOS 25
#define MAX_XPOS 80
#define MAX_XPOS 80
staticintcurrent_ypos=1,current_xpos=0;/* We want to print before clearing BSS */