|
|
@@ -627,7 +627,7 @@ typedef struct {
|
|
|
// Misc
|
|
|
|
|
|
// Only used by Nuclei Internally, please dont use it
|
|
|
-#define SIMULATION_EXIT(ret) { UART0->RXFIFO = (ret); UART0->TXFIFO = 4; }
|
|
|
+#define SIMULATION_EXIT(ret) { __WMB(); UART0->RXFIFO = (ret); UART0->TXFIFO = 4; }
|
|
|
|
|
|
extern uint32_t get_cpu_freq(void);
|
|
|
extern void delay_1ms(uint32_t count);
|