#include <stdint.h>

int eos_aon_init(void);
uint32_t eos_aon_get_reg(int idx);
void eos_aon_set_reg(int idx, uint32_t reg);