Assertion: kernel's code | /r/CapableOf | find the pte
Facets:
value: for a given address
type: OTHER
Source sentences:
text: In particular, to find the PTE for a given address, the code now reads as (taken from mm/memory.c );