/* Copyright holders: Sarah Walker
see COPYING for more details
*/
void ali1429_init();
void ali1429_reset();