linux - 如何读取内核页表？

Question

Linux 将虚拟内存空间分为两部分：0x00000000 ~ 0xBFFFFFFF 和 0xC0000000 ~ 0xFFFFFFFF。正如我所读到的，所有进程共享相同的内核虚拟空间 0xC0000000 ~ 0xFFFFFFFF。

我正在尝试锁定一个 TLB 以在 ARM 架构上进行系统调用。例如，对于 raw_spin 系统调用，我从 System.map 中获得了虚拟地址 0xc04d35b0，然后我想找到对应的物理地址来锁定一个 TLB 条目。

我的问题是如何读取内核页表？谢谢！