/** * Initialises the TPL5111 done pin to be LOW, so that it catches it when we * set it to HIGH later. */ void power_init(); /** * Signals that our work is complete and that we can turn off now to the * TPL5111. */ void power_off();