We didn't have any lock variable to guard the manipulation of a PTE for kernel virual address space. Note that we have one for user virtual address space.
We didn't have any lock variable to guard the manipulation of a PTE for kernel virual address space. Note that we have one for user virtual address space.