Lines Matching refs:label
7 \chapter{\label{ch:cspace}Capability Spaces}
74 \label{sec:cnode-ops}
123 \label{sec:caps_to_new_objects}
136 \label{sec:cap_rights}
176 \caption{\label{tab:rights}seL4 access rights: What a specific right entitles a
181 \label{sec:cap_derivation}
210 \caption{Capability derivation.\label{tab:cap-derivation}}
217 \caption{Example capability derivation tree.}\label{fig:CDT}
244 \label{s:cspace-revoke}
308 \label{s:cspace-addressing}
334 \label{sec:cap_address_lookup}
362 \label{fig1.4}
390 \label{sec:cap_addressing}
421 \label{fig2.1}
471 \label{sec:lookup_fail_desc}