1 #ifndef MAX2871_H
2 #define MAX2871_H
3 
4 #include "gpio.h"
5 
6 #include <stdint.h>
7 
8 typedef struct {
9 	gpio_t gpio_vco_ce;
10 	gpio_t gpio_vco_sclk;
11 	gpio_t gpio_vco_sdata;
12 	gpio_t gpio_vco_le;
13 	gpio_t gpio_synt_rfout_en;
14 	gpio_t gpio_vco_mux;
15 } max2871_driver_t;
16 
17 extern void max2871_setup(max2871_driver_t* const drv);
18 extern uint64_t max2871_set_frequency(max2871_driver_t* const drv, uint16_t mhz);
19 extern void max2871_enable(max2871_driver_t* const drv);
20 extern void max2871_disable(max2871_driver_t* const drv);
21 #endif
22