Assertion: page | /r/HasProperty | loaded in memory
Facets:
value: at the time
type: TEMPORAL
Source sentences:
text: If the page is loaded in memory at the time the fault is generated, but is not marked in the memory management unit as being loaded in memory, then it is called a minor or soft page fault.
text: The page fault handler in the operating system merely needs to make the entry for that page in the memory management unit point to the page in memory and indicate that the page is loaded in memory; it does not need to read the page into memory.