forked from ~ljy/RK3588_XEN
/home/data/hc/rk3588_linux/kernel/xenomai-v3.2.4/kernel/drivers/gpio/gpio-xilinx.c does not exist in tree 8c790d14822bb83f766642b0c8b9c15529766721
