XadcpsかXsysmonか
AXIバス経由はXsysmon
https://forums.xilinx.com/t5/Xcell-Daily-Blog/Adam-Taylor-s-MicroZed-Chronicles-Part-62-Answers-to-a-question/ba-p/553457
Should we want to interface via the DevC interface, the driver supplied by the BSP is XADCPS.h and for AXI interfacing the driver is XSysMon.h