No intrinsics to access RDDC_EL0/RCSP_EL0/RCTPIDR_EL0
As far as I can tell there are no intrinsics to access the restricted capability registers and so inline assembly is the only way to do so.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information