Assertion: kernel's function | /r/HasProperty | called
Facets:
Source sentences:
text: The function responsible for finalising the page tables is called paging_init() .
text: The function is called when a new physical page is about to be placed in the address space of a process.
text: This function is called when the kernel writes to or copies from a page cache page as these are likely to be mapped by multiple processes.