1 2 3 4 5
#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);