tadpole_register_callback
extern void tadpole_register_callback(void (*)(void *, int), void *);
if (0) tadpole_register_callback(p9100_set_extvga, sc);