micropython/stmhal/rng.h

void rng_init(void);
uint32_t rng_get(void);

MP_DECLARE_CONST_FUN_OBJ(pyb_rng_get_obj);