Executing a CPP RCTX instruction

I have a use case in monitor mode (EL3), I had to do "Issue CPP RCTX to all valid contexts followed by DSB SY."
Please suggest the how to write assembly code for the above.

0