Searched refs:label (Results 26 - 50 of 69) sorted by relevance

123

/seL4-camkes-master/kernel/src/arch/arm/64/object/
H A Dobjecttype.c474 exception_t Arch_decodeInvocation(word_t label, word_t length, cptr_t cptr, argument
486 return decodeARMVCPUInvocation(label, length, cptr, slot, cap, extraCaps, call, buffer);
490 return decodeARMSIDControlInvocation(label, length, cptr, slot, cap, extraCaps, call, buffer);
492 return decodeARMSIDInvocation(label, length, cptr, slot, cap, extraCaps, call, buffer);
494 return decodeARMCBControlInvocation(label, length, cptr, slot, cap, extraCaps, call, buffer);
496 return decodeARMCBInvocation(label, length, cptr, slot, cap, extraCaps, call, buffer);
502 return decodeARMMMUInvocation(label, length, cptr, slot, cap, extraCaps, buffer);
/seL4-camkes-master/projects/capdl/python-capdl-tool/capdl/
H A DAllocator.py63 def _assign_label(self, label, obj):
64 self.labels[label].add(obj)
72 def relabel(self, label, obj):
74 self._assign_label(label, obj)
76 def alloc(self, type, name=None, label=None, **kwargs):
82 assert o in self.labels.get(label, set()), \
83 'attempt to allocate object %s under a new, differing label' % o.name
174 self._assign_label(label, o)
177 def merge(self, spec, label=None):
180 [self._assign_label(label,
[all...]
/seL4-camkes-master/kernel/manual/parts/
H A Dnotifications.tex7 \chapter{\label{ch:notifications}Notifications}
25 different badges. \label{s:notif-badge}
55 \label{sec:notification-binding}
H A Dobjects.tex7 \chapter{\label{ch:objects}Kernel Services and Objects}
52 \label{sec:cap-access-control}
99 \label{sec:syscalls}
100 \label{sec:sys_send}
101 \label{sec:sys_wait}
102 \label{sec:sys_nbwait}
103 \label{sec:sys_recv}
104 \label{sec:sys_call}
105 \label{sec:sys_reply}
106 \label{se
[all...]
H A Dthreads.tex7 \chapter{\label{ch:threads}Threads and Execution}
10 \label{sec:threads}
38 \label{sec:thread_creation}
62 \label{sec:thread_deactivation}
76 \label{sec:sched}
105 \label{sec:scheduling_contexts}
184 \subsection{Passive Threads} \label{sec:passive}
194 \subsection{Scheduling Context Creation} \label{sec:sc_creation}
258 \subsection{Scheduling algorithm} \label{sec:mcs-sched}
277 \label{se
[all...]
H A Dbootup.tex7 \chapter{\label{ch:bootup}System Bootstrapping}
36 \label{tab:cnode_content}
67 \section{\label{ch:bootup:bootinfo}BootInfo Frame}
93 \label{tab:bootinfo_struct}
133 \label{tab:bi_header_struct}
184 \label{tab:untyped_desc_struct}
242 \label{tab:bootargs}
H A Dipc.tex7 \chapter{\label{ch:ipc}Message Passing (IPC)}
18 \label{sec:messageinfo}
32 tag consists of four fields: the label, message length, number of capabilities
37 transferred. The label is not interpreted by the
39 label may, for example, be used to specify a requested operation. The
70 \caption{\label{tbl:ipcbuffer}Fields of the
121 \subsection{Endpoint Badges\label{s:ep-badge}}
122 \label{sec:ep-badges}
141 \label{sec:cap-transfer}
228 \label{se
[all...]
H A Dcspace.tex7 \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{
[all...]
H A Dio.tex7 \chapter{\label{ch:io}Hardware I/O}
10 \label{sec:interrupts}
54 \label{sec:x86_interrupts}
73 \label{sec:ioports}
107 \label{sec:iospace}
182 \label{sec:smmuv2}
271 \label{sec:smmuv2-creating-sel4-arm-sid-capabilities}
293 \label{sec:smmuv2-creating-sel4-arm-cb-capabilities}
312 \label{sec:smmuv2-configuring-context-banks}
334 \label{se
[all...]
/seL4-camkes-master/projects/picotcp/modules/
H A Dpico_dns_common.c23 #define dns_name_foreach_label_safe(label, name, next, maxlen) \
24 for ((label) = (name), (next) = (char *)((name) + *(unsigned char*)(name) + 1); \
25 (*(label) != '\0') && ((uint16_t)((label) - (name)) < (maxlen)); \
26 (label) = (next), (next) = (char *)((next) + *(unsigned char*)(next) + 1))
53 char *label = NULL, *next = NULL; local
62 dns_name_foreach_label_safe(label, name, next, 255) {
63 if ((0xC0 & *label))
68 len = (uint16_t)(label - name);
69 if(*label !
347 char *label = NULL, *next = NULL; local
[all...]
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/pc99/
H A Dserial.c39 #define CONSOLE(port, label) ((port) + (SERIAL_##label))
/seL4-camkes-master/kernel/src/object/
H A Dschedcontrol.c159 exception_t decodeSchedControlInvocation(word_t label, cap_t cap, word_t length, extra_caps_t extraCaps, argument
162 switch (label) {
/seL4-camkes-master/projects/musllibc/src/thread/powerpc/
H A Dclone.s43 bns+ 1f # jump to label 1 if no summary overflow.
/seL4-camkes-master/kernel/tools/hardware/utils/
H A Drule.py45 self.labels = {} # dict of label => offset within region.
82 ''' Get a dict of address -> label for the kernel '''
107 def __init__(self, label: str, irq: int, prio: int = 0, sel_macro: str = None, false_irq: int = -1, enable_macro: str = None, desc: str = None):
108 self.label = label
141 return 'KernelInterrupt(label={},irq={},sel_macro={},false_irq={})'.format(self.label, self.irq, self.sel_macro, self.false_irq)
/seL4-camkes-master/projects/util_libs/libfdt/
H A Dfdt_overlay.c399 * @label: Label of the node referenced by the phandle
416 int poffset, const char *label)
427 symbol_path = fdt_getprop(fdt, symbols_off, label,
476 const char *label; local
480 &label, &len);
529 poffset, label);
412 overlay_fixup_one_phandle(void *fdt, void *fdto, int symbols_off, const char *path, uint32_t path_len, const char *name, uint32_t name_len, int poffset, const char *label) argument
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/imx6/uboot/
H A Dmxc_gpio.c167 int gpio_request(unsigned gpio, const char *label) argument
/seL4-camkes-master/kernel/include/arch/riscv/arch/kernel/
H A Dvspace.h54 exception_t decodeRISCVMMUInvocation(word_t label, word_t length, cptr_t cptr,
/seL4-camkes-master/kernel/src/arch/x86/64/kernel/
H A Dvspace.c1135 word_t label,
1152 if (label == X86PageDirectoryUnmap) {
1163 if (label != X86PageDirectoryMap) {
1300 word_t label,
1316 if (label == X86PDPTUnmap) {
1328 if (label != X86PDPTMap) {
1407 word_t label,
1423 return decodeX64PDPTInvocation(label, length, cte, cap, extraCaps, buffer);
1426 return decodeX64PageDirectoryInvocation(label, length, cte, cap, extraCaps, buffer);
1509 exception_t decodeX86ModeMapPage(word_t label, vm_page_size_ argument
1134 decodeX64PageDirectoryInvocation( word_t label, word_t length, cte_t *cte, cap_t cap, extra_caps_t extraCaps, word_t *buffer ) argument
1299 decodeX64PDPTInvocation( word_t label, word_t length, cte_t *cte, cap_t cap, extra_caps_t extraCaps, word_t *buffer) argument
1406 decodeX86ModeMMUInvocation( word_t label, word_t length, cptr_t cptr, cte_t *cte, cap_t cap, extra_caps_t extraCaps, word_t *buffer ) argument
[all...]
/seL4-camkes-master/kernel/src/arch/arm/64/
H A Dtraps.S41 .macro ventry label
43 b \label
/seL4-camkes-master/kernel/src/arch/x86/64/object/
H A Dobjecttype.c318 word_t label,
333 return decodeX86MMUInvocation(label, length, cptr, slot, cap, extraCaps, buffer);
317 Mode_decodeInvocation( word_t label, word_t length, cptr_t cptr, cte_t *slot, cap_t cap, extra_caps_t extraCaps, word_t *buffer ) argument
/seL4-camkes-master/tools/seL4/misc/
H A Dcobbler125 label mylabel
/seL4-camkes-master/kernel/src/arch/riscv/object/
H A Dobjecttype.c292 word_t label,
302 return decodeRISCVMMUInvocation(label, length, cptr, slot, cap, extraCaps, buffer);
291 Arch_decodeInvocation( word_t label, word_t length, cptr_t cptr, cte_t *slot, cap_t cap, extra_caps_t extraCaps, bool_t call, word_t *buffer ) argument
/seL4-camkes-master/kernel/manual/tools/
H A Dparse_doxygen_xml.py38 'autoref': lambda p, r: "%s" % p['label'],
217 label = member.manual['label']
223 "label": label,
268 parse_table['autoref'] = lambda p, r: "\\autoref{%s}" % p['label']
285 return "\\apifunc{%(name)s}{%(label)s}" % ref
314 {%(label)s}
323 "label": manual_node["label"],
[all...]
/seL4-camkes-master/kernel/src/arch/riscv/kernel/
H A Dvspace.c676 static exception_t decodeRISCVPageTableInvocation(word_t label, word_t length, argument
680 if (label == RISCVPageTableUnmap) {
703 if (unlikely((label != RISCVPageTableMap))) {
795 static exception_t decodeRISCVFrameInvocation(word_t label, word_t length, argument
799 switch (label) {
928 exception_t decodeRISCVMMUInvocation(word_t label, word_t length, cptr_t cptr, argument
935 return decodeRISCVPageTableInvocation(label, length, cte, cap, extraCaps, buffer);
938 return decodeRISCVFrameInvocation(label, length, cte, cap, extraCaps, buffer);
953 if (label != RISCVASIDControlMakePool) {
1021 if (label !
[all...]
/seL4-camkes-master/projects/musllibc/src/network/
H A Dlookup_name.c215 unsigned char prec, label; member in struct:policy
249 return policyof(a)->label;
351 * So far the label/precedence table cannot be customized. */
368 int dlabel = dpolicy->label;

Completed in 116 milliseconds

123