# 1 "/sources/tmptrees/LinuxBIOSv3-xiptest/mainboard/emulation/qemu-x86/initram_printktest.c"
# 1 "<built-in>"
# 1 "<command-line>"
# 1 "/sources/tmptrees/LinuxBIOSv3-xiptest/build/config.h" 1
# 1 "<command-line>" 2
# 1 "/sources/tmptrees/LinuxBIOSv3-xiptest/build/build.h" 1
# 1 "<command-line>" 2
# 1 "/sources/tmptrees/LinuxBIOSv3-xiptest/mainboard/emulation/qemu-x86/initram_printktest.c"
# 22 "/sources/tmptrees/LinuxBIOSv3-xiptest/mainboard/emulation/qemu-x86/initram_printktest.c"
# 1 "include/console.h" 1
# 20 "include/console.h"
# 1 "/sources/tmptrees/LinuxBIOSv3-xiptest/include/arch/x86/types.h" 1







typedef unsigned long long u64;
typedef unsigned int u32;
typedef unsigned short u16;
typedef unsigned char u8;

typedef signed long long s64;
typedef signed int s32;
typedef signed short s16;
typedef signed char s8;

typedef long unsigned int size_t;
# 21 "include/console.h" 2
# 1 "include/shared.h" 1
# 22 "include/console.h" 2
# 1 "include/post_code.h" 1
# 26 "include/post_code.h"
void stage0_post_code(u8 value) ; void (*post_code)(u8 value) = stage0_post_code;
# 23 "include/console.h" 2
# 34 "include/console.h"
void console_init(void);
void console_tx_byte(unsigned char byte, void *arg);
void console_tx_flush(void);
unsigned char console_rx_byte(void);
int console_tst_byte(void);
void die(const char *msg);

struct console_driver {
 void (*init)(void);
 void (*tx_byte)(unsigned char byte, void *arg);
 void (*tx_flush)(void);
 unsigned char (*rx_byte)(void);
 int (*tst_byte)(void);
};

int stage0_printk(int msg_level, const char *fmt, ...) __attribute__((format (printf, 2, 3))); int (*printk)(int msg_level, const char *fmt, ...) __attribute__((format (printf, 2, 3)))= stage0_printk;
# 23 "/sources/tmptrees/LinuxBIOSv3-xiptest/mainboard/emulation/qemu-x86/initram_printktest.c" 2

int printktest(void)
{




 printk(6, "Absolute call successful.\n");

 return 0;
}