static uint8_t random_mutex;
+static void
+ao_trng_start(void)
+{
+ if (!trng_running) {
+ ao_mutex_get(&random_mutex);
+ if (!trng_running) {
+ AO_TICK_TYPE delay;
+
+ delay = trng_power_time + TRNG_ENABLE_DELAY - ao_time();
+ if (delay > TRNG_ENABLE_DELAY)
+ delay = TRNG_ENABLE_DELAY;
+
+ /* Delay long enough for the HV power supply
+ * to stabilize so that the first bits we read
+ * aren't of poor quality
+ */
+ ao_delay(delay);
+ trng_running = true;
+ }
+ ao_mutex_put(&random_mutex);
+ }
+}
+
#if AO_USB_HAS_IN2
static struct ao_task ao_trng_send_raw_task;
static void
ao_trng_send_raw(void)
{
- static uint16_t *buffer[2];
+ uint16_t *buffer[2];
int usb_buf_id;
- if (!buffer[0]) {
- buffer[0] = ao_usb_alloc();
- buffer[1] = ao_usb_alloc();
- if (!buffer[0])
- ao_exit();
- }
-
- usb_buf_id = 0;
+ usb_buf_id = ao_usb_alloc2(buffer);
for (;;) {
- ao_mutex_get(&random_mutex);
- if (!trng_running) {
- AO_TICK_TYPE delay;
-
- delay = trng_power_time + TRNG_ENABLE_DELAY - ao_time();
- if (delay > TRNG_ENABLE_DELAY)
- delay = TRNG_ENABLE_DELAY;
-
- /* Delay long enough for the HV power supply
- * to stabilize so that the first bits we read
- * aren't of poor quality
- */
- ao_delay(delay);
- trng_running = TRUE;
- }
+ ao_trng_start();
#ifdef AO_LED_TRNG_RAW
ao_led_on(AO_LED_TRNG_RAW);
#endif
#ifdef AO_LED_TRNG_RAW
ao_led_off(AO_LED_TRNG_RAW);
#endif
- ao_mutex_put(&random_mutex);
- ao_usb_write2(buffer[usb_buf_id], AO_USB_IN_SIZE);
- usb_buf_id = 1-usb_buf_id;
+ usb_buf_id = ao_usb_write2(AO_USB_IN_SIZE);
}
}
uint16_t i;
uint16_t t;
uint32_t *rnd = (uint32_t *) (void *) ao_adc_ring;
- uint8_t mismatch = 0;
+ uint8_t mismatch = 1;
t = ao_adc_get(AO_USB_IN_SIZE) >> 1; /* one 16-bit value per output byte */
for (i = 0; i < AO_USB_IN_SIZE / sizeof (uint16_t); i++) {
static void
ao_trng_send(void)
{
- static uint16_t *buffer[2];
- int usb_buf_id;
- int good_bits;
- int failed;
- int s;
-
- if (!buffer[0]) {
- buffer[0] = ao_usb_alloc();
- buffer[1] = ao_usb_alloc();
- if (!buffer[0])
- ao_exit();
- }
+ uint16_t *buffer[2];
+ int usb_buf_id;
+ int good_bits;
+ int failed;
+ int s;
- usb_buf_id = 0;
+ usb_buf_id = ao_usb_alloc(buffer);
#ifdef AO_TRNG_ENABLE_PORT
- ao_gpio_set(AO_TRNG_ENABLE_PORT, AO_TRNG_ENABLE_BIT, AO_TRNG_ENABLE_PIN, 1);
+ ao_gpio_set(AO_TRNG_ENABLE_PORT, AO_TRNG_ENABLE_BIT, 1);
#endif
trng_power_time = ao_time();
#endif
for (;;) {
- ao_mutex_get(&random_mutex);
- if (!trng_running) {
- AO_TICK_TYPE delay;
-
- delay = trng_power_time + TRNG_ENABLE_DELAY - ao_time();
- if (delay > TRNG_ENABLE_DELAY)
- delay = TRNG_ENABLE_DELAY;
-
- /* Delay long enough for the HV power supply
- * to stabilize so that the first bits we read
- * aren't of poor quality
- */
- ao_delay(delay);
- trng_running = TRUE;
- }
+ ao_trng_start();
#ifdef AO_LED_TRNG_COOKED
ao_led_on(AO_LED_TRNG_COOKED);
#endif
#ifdef AO_LED_TRNG_COOKED
ao_led_off(AO_LED_TRNG_COOKED);
#endif
- ao_mutex_put(&random_mutex);
if (good_bits) {
- ao_usb_write(buffer[usb_buf_id], AO_USB_IN_SIZE);
- usb_buf_id = 1-usb_buf_id;
+ usb_buf_id = ao_usb_write(AO_USB_IN_SIZE);
failed = 0;
} else {
failed++;
- ao_delay(AO_MS_TO_TICKS(10));
if (failed > 10) {
ao_usb_disable();
ao_panic(AO_PANIC_DMA);
{
(void) arg;
#ifdef AO_TRNG_ENABLE_PORT
- ao_gpio_set(AO_TRNG_ENABLE_PORT, AO_TRNG_ENABLE_BIT, AO_TRNG_ENABLE_PIN, 0);
+ ao_gpio_set(AO_TRNG_ENABLE_PORT, AO_TRNG_ENABLE_BIT, 0);
#endif
- trng_running = FALSE;
+ trng_running = false;
}
static void ao_trng_resume(void *arg)
{
(void) arg;
#ifdef AO_TRNG_ENABLE_PORT
- ao_gpio_set(AO_TRNG_ENABLE_PORT, AO_TRNG_ENABLE_BIT, AO_TRNG_ENABLE_PIN, 1);
+ ao_gpio_set(AO_TRNG_ENABLE_PORT, AO_TRNG_ENABLE_BIT, 1);
#endif
trng_power_time = ao_time();
}
ao_trng_send_init(void)
{
#ifdef AO_TRNG_ENABLE_PORT
- ao_enable_output(AO_TRNG_ENABLE_PORT, AO_TRNG_ENABLE_BIT, AO_TRNG_ENABLE_PIN, 0);
+ ao_enable_output(AO_TRNG_ENABLE_PORT, AO_TRNG_ENABLE_BIT, 0);
ao_power_register(&ao_trng_power);
#endif
ao_enable_input(AO_RAW_PORT, AO_RAW_BIT, AO_EXTI_MODE_PULL_UP);