Header files for 5.18.5-rk3399 看全部

I have trouble compiling driver for Orange Pi 800, need header files for 5.18.5-rk3399?

Where to download them?
Thanks
It seems they are posted here:
https://download.csdn.net/download/weixin_37613240/87635781

Can someone upload it to public location, it is virtually impossoble to download if not in China. Thanks