[seL4] seL4 cache pinning

Hi, I read "Improving Interrupt Response Time in a Verifiable Protected Microkernel" paper.

This paper improved IPC performance by using cache pinning and I want to know how to implement cache pinnng.

But this paper doesn't refer how to manipulate cache lines.

Would you give me some methods how to read cache lines and write cache lines?