| Russell King | c735c98 | 2011-01-11 13:00:04 +0000 | [diff] [blame] | 1 | void integrator_init_early(void); |
| Russell King | 98c672c | 2010-05-22 18:18:57 +0100 | [diff] [blame] | 2 | void integrator_reserve(void); |
| Russell King | 6338b66 | 2011-11-03 19:54:37 +0000 | [diff] [blame] | 3 | void integrator_restart(char, const char *); |