Rev 2274 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2274 | Rev 2290 | ||
---|---|---|---|
Line 46... | Line 46... | ||
46 | 46 | ||
47 | void machine_timer_irq_start(void); |
47 | void machine_timer_irq_start(void); |
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); |
|
- | 52 | ||
51 | #endif |
53 | #endif |
52 | 54 | ||
53 | /** @} |
55 | /** @} |
54 | */ |
56 | */ |