/seL4-camkes-master/kernel/src/arch/arm/64/object/ |
H A D | objecttype.c | 474 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 D | Allocator.py | 63 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 D | notifications.tex | 7 \chapter{\label{ch:notifications}Notifications} 25 different badges. \label{s:notif-badge} 55 \label{sec:notification-binding}
|
H A D | objects.tex | 7 \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 D | threads.tex | 7 \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 D | bootup.tex | 7 \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 D | ipc.tex | 7 \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 D | cspace.tex | 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{ [all...] |
H A D | io.tex | 7 \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 D | pico_dns_common.c | 23 #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 D | serial.c | 39 #define CONSOLE(port, label) ((port) + (SERIAL_##label))
|
/seL4-camkes-master/kernel/src/object/ |
H A D | schedcontrol.c | 159 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 D | clone.s | 43 bns+ 1f # jump to label 1 if no summary overflow.
|
/seL4-camkes-master/kernel/tools/hardware/utils/ |
H A D | rule.py | 45 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 D | fdt_overlay.c | 399 * @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 D | mxc_gpio.c | 167 int gpio_request(unsigned gpio, const char *label) argument
|
/seL4-camkes-master/kernel/include/arch/riscv/arch/kernel/ |
H A D | vspace.h | 54 exception_t decodeRISCVMMUInvocation(word_t label, word_t length, cptr_t cptr,
|
/seL4-camkes-master/kernel/src/arch/x86/64/kernel/ |
H A D | vspace.c | 1135 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 D | traps.S | 41 .macro ventry label 43 b \label
|
/seL4-camkes-master/kernel/src/arch/x86/64/object/ |
H A D | objecttype.c | 318 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 D | cobbler | 125 label mylabel
|
/seL4-camkes-master/kernel/src/arch/riscv/object/ |
H A D | objecttype.c | 292 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 D | parse_doxygen_xml.py | 38 '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 D | vspace.c | 676 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 D | lookup_name.c | 215 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;
|