1 #ifndef TRICORE_MISC_H 2 #define TRICORE_MISC_H 1 3 4 #include "exec/memory.h" 5 #include "hw/irq.h" 6 7 struct tricore_boot_info { 8 uint64_t ram_size; 9 const char *kernel_filename; 10 }; 11 #endif 12