Lines Matching refs:memory
12 virtual memory largely correspond to those of the hardware. Consequently,
14 Common to every architecture is the \obj{Page}, representing a frame of physical memory.
20 virtual memory address spaces. It should be noted that, as usual, the
21 manipulator of a virtual memory space needs the appropriate
34 or a specifically sized frame of memory, can be mapped. If the previous level is not mapped,
46 several other virtual-memory related object invocations.
148 A \obj{Page} object corresponds to a frame of physical memory that is used to
149 implement virtual memory pages in a virtual address space.
297 \texttt{seL4\_ARM\_ExecuteNever} & Map this memory as non-executable \\
300 \caption{\label{tbl:vmattr_arm} Virtual memory attributes for ARM page
318 \caption{\label{tbl:vmattr_ia32} Virtual memory attributes for x86 page