Rev 2290 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2290 | Rev 2300 | ||
---|---|---|---|
Line 48... | Line 48... | ||
48 | 48 | ||
49 | size_t machine_get_memory_size(void); |
49 | size_t machine_get_memory_size(void); |
50 | 50 | ||
51 | void machine_debug_putc(char ch); |
51 | void machine_debug_putc(char ch); |
52 | 52 | ||
- | 53 | void machine_cpu_halt(void); |
|
- | 54 | ||
53 | #endif |
55 | #endif |
54 | 56 | ||
55 | /** @} |
57 | /** @} |
56 | */ |
58 | */ |