Lines Matching refs:guard
86 the original and a different guard (see
92 capability has the same badge and guard as the original.
324 also carries a \emph{guard} value, explained in
335 then compares that \obj{CNode}'s \emph{guard} value against the most
354 all levels, various guard and radix sizes and internal CNode
363 \item a top level CNode object with a 12-bit guard set to 0x000 and
421 \item[Cap A.] The first CNode has a 4-bit guard set to 0x0, and an
428 \item[Cap B.] Again, the first CNode has a 4-bit guard set to 0x0, and
430 It also has a 4-bit guard of 0x0 and Cap B resides at index
436 of the second CNode. The third CNode has no guard and Cap C is at
448 which has a 4-bit guard of 0x0. Hence, its address is 0x00F00000,
453 has a 4-bit guard of 0x0. Hence, the capability's address is
520 When resolving a capability, a CNode was traversed with a guard size
521 larger than the number of bits remaining or the CNode's guard did not
530 \ipcbloc{Offset + seL4\_CapFault\_GuardMismatch\_GuardFound} & The CNode's guard \\
531 \ipcbloc{Offset + seL4\_CapFault\_GuardMismatch\_BitsFound} & The CNode's guard size \\