Linux separates virtual memory space into two parts: 0x00000000 ~ 0xBFFFFFFF and 0xC0000000 ~ 0xFFFFFFFF. As I read, all the processes share the same kernel virtual space 0xC0000000 ~ 0xFFFFFFFF.
I am trying to lock one TLB for system call on ARM architecture. For example, for raw_spin system call, I got the virtual address 0xc04d35b0 from System.map then I want to find corresponding physical address to lock one TLB entry.
My question is how can I read the kernel page table? Thanks!