preprocessed PIC code with exter

# 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"# 20 "/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" 1typedef 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) ; extern void (*post_code)(u8 value) ;# 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))); extern int (*printk)(int msg_level, const char *fmt, ...) __attribute__((format (printf, 2, 3)));# 21 "/sources/tmptrees/LinuxBIOSv3-xiptest/mainboard/emulation/qemu-x86/initram_printktest.c" 2int printktest(void){ printk(6, "Absolute call successful.\n"); return 0;}