I need some example code for setting GPIOs under windows 11 raspberry PI4 for the https://github.com/raspberrypi/windows-drivers/tree/master/drivers/gpio)/[bcm2836](https://github.com/raspberrypi/windows-drivers/tree/master/drivers/gpio/bcm2836 driver