/seL4-test-master/projects/seL4_libs/libsel4utils/include/sel4utils/time_server/ |
H A D | client.h | 39 * @param label the label to use in timer RPC messages, so they can be identified on the server side. 43 seL4_CPtr ep, seL4_Word label);
|
/seL4-test-master/projects/seL4_libs/libsel4utils/src/time_server/ |
H A D | client.c | 22 seL4_Word label; member in struct:__anon452 28 seL4_MessageInfo_t info = seL4_MessageInfo_new(ltimer->label, 0, 0, 1); 38 seL4_MessageInfo_t info = seL4_MessageInfo_new(ltimer->label, 0, 0, 2 + SEL4UTILS_64_WORDS); 46 int sel4utils_rpc_ltimer_init(ltimer_t *ltimer, ps_io_ops_t ops, seL4_CPtr ep, seL4_Word label) argument 58 client_ltimer->label = label;
|
/seL4-test-master/projects/musllibc/src/misc/ |
H A D | fmtmsg.c | 24 int fmtmsg(long classification, const char *label, int severity, argument 30 "label", "severity", "text", "action", "tag", NULL 47 label?label:"", label?": ":"", 74 (verb&1 && label) ? label : "", 75 (verb&1 && label) ? ": " : "",
|
/seL4-test-master/projects/util_libs/libethdrivers/src/plat/imx6/uboot/ |
H A D | gpio.h | 119 * @param label Name given to the GPIO 122 int gpio_request(unsigned gpio, const char *label); 173 * @param label User label for this GPIO 176 int gpio_request(unsigned gpio, const char *label);
|
/seL4-test-master/kernel/include/object/ |
H A D | schedcontrol.h | 13 exception_t decodeSchedControlInvocation(word_t label, cap_t cap, word_t length, extra_caps_t extra_caps,
|
H A D | schedcontext.h | 12 exception_t decodeSchedContextInvocation(word_t label, cap_t cap, extra_caps_t extraCaps, word_t *buffer);
|
/seL4-test-master/tools/seL4/elfloader-tool/src/arch-arm/64/ |
H A D | traps.S | 15 .macro ventry label 17 b \label
|
/seL4-test-master/kernel/include/arch/arm/arch/object/ |
H A D | smmu.h | 17 exception_t decodeARMSIDControlInvocation(word_t label, unsigned int length, cptr_t cptr, 21 exception_t decodeARMSIDInvocation(word_t label, unsigned int length, cptr_t cptr, 25 exception_t decodeARMCBControlInvocation(word_t label, unsigned int length, cptr_t cptr, 29 exception_t decodeARMCBInvocation(word_t label, unsigned int length, cptr_t cptr,
|
/seL4-test-master/kernel/tools/hardware/outputs/ |
H A D | c_header.py | 45 #define {{ irq.label }} {{ irq.irq }} 48 #define {{ irq.label }} {{ irq.false_irq }} 116 Offsets is a dict of offset -> label, where label is the name given to the kernel for that address (e.g. SERIAL_PPTR) and offset is the offset from KDEV_BASE at which it's mapped.''' 139 ''' Get dict of interrupts, {label: KernelInterrupt} from the DT and hardware rules. ''' 150 if irq.label in ret: 151 if irq.prio > ret[irq.label].prio: 152 ret[irq.label] = irq 154 ret[irq.label] = irq 157 ret.sort(key=lambda a: a.label) [all...] |
/seL4-test-master/projects/seL4_libs/libsel4utils/src/irq_server/ |
H A D | irq_server.c | 41 seL4_Word label; member in struct:irq_server_thread 50 seL4_Word label; member in struct:irq_server 130 seL4_Word label; local 135 label = my_thread_info->label; 143 seL4_MessageInfo_t info = seL4_MessageInfo_new(label, 0, 0, IRQ_SERVER_MESSAGE_LENGTH); 222 new_thread->label = irq_server->label; 284 seL4_Word label = seL4_MessageInfo_get_label(msginfo); local 287 if (label 327 irq_server_new(vspace_t *vspace, vka_t *vka, seL4_Word priority, simple_t *simple, seL4_CPtr cspace, seL4_CPtr delivery_ep, seL4_Word label, size_t num_irqs, ps_malloc_ops_t *malloc_ops) argument [all...] |
/seL4-test-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
H A D | irq_server.h | 72 * @param[in] label A label to use when sending to an IPC to an endpoint 78 seL4_Word label, size_t num_irqs, ps_malloc_ops_t *malloc_ops); 125 * with the designated label was received on an endpoint that was given to an 135 * label does not match that which was assigned to the IRQ server, the message info and 136 * badge are returned to the caller, much like seL4_Recv(...). If the label does match, 146 * caller may check that the label matches that which
|
/seL4-test-master/kernel/src/arch/arm/object/ |
H A D | smmu.c | 21 exception_t decodeARMSIDControlInvocation(word_t label, unsigned int length, cptr_t cptr, argument 33 if (label == ARMSIDGetFault) { 44 if (label == ARMSIDClearFault) { 50 if (label != ARMSIDIssueSIDManager) { 97 exception_t decodeARMSIDInvocation(word_t label, unsigned int length, cptr_t cptr, argument 107 switch (label) { 184 exception_t decodeARMCBControlInvocation(word_t label, unsigned int length, cptr_t cptr, argument 195 if (label == ARMCBTLBInvalidateAll) { 201 if (label != ARMCBIssueCBManager) { 249 exception_t decodeARMCBInvocation(word_t label, unsigne argument [all...] |
/seL4-test-master/kernel/src/api/ |
H A D | faults.c | 118 word_t label = seL4_MessageInfo_get_label(tag); local 128 return (label == 0); 132 return (label == 0); 137 return (label == 0); 146 return (label == 0); 182 return (label == 0);
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/arm/ |
H A D | vm.c | 46 static int vm_decode_exit(seL4_Word label) argument 50 switch (label) { 232 seL4_Word label; local 236 label = seL4_MessageInfo_get_label(tag); 243 vm_exit_reason = vm_decode_exit(label);
|
/seL4-test-master/projects/musllibc/tools/ |
H A D | add-cfi.i386.awk | 21 # used to detect "call label; label:" trick 94 label = substr($1, 1, length($1)-1) # drop trailing : 96 if (called == label) { 97 # note adjustment of stack pointer from "call label; label:" 101 if (functions[label]) { 147 if (match($0, /call [0-9]+f/)) # "forward" label
|
H A D | add-cfi.i386_sel4.awk | 21 # used to detect "call label; label:" trick 94 label = substr($1, 1, length($1)-1) # drop trailing : 96 if (called == label) { 97 # note adjustment of stack pointer from "call label; label:" 101 if (functions[label]) { 147 if (match($0, /call [0-9]+f/)) # "forward" label
|
H A D | add-cfi.x86_64.awk | 14 # used to detect "call label; label:" trick 89 label = substr($1, 1, length($1)-1) # drop trailing : 91 if (called == label) { 92 # note adjustment of stack pointer from "call label; label:" 96 if (functions[label]) { 133 if (match($0, /call [0-9]+f/)) # "forward" label
|
H A D | add-cfi.x86_64_sel4.awk | 14 # used to detect "call label; label:" trick 89 label = substr($1, 1, length($1)-1) # drop trailing : 91 if (called == label) { 92 # note adjustment of stack pointer from "call label; label:" 96 if (functions[label]) { 133 if (match($0, /call [0-9]+f/)) # "forward" label
|
/seL4-test-master/kernel/include/arch/riscv/arch/object/ |
H A D | objecttype.h | 22 exception_t Arch_decodeInvocation(word_t label, word_t length,
|
/seL4-test-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-test-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}
|
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/pc99/ |
H A D | serial.c | 39 #define CONSOLE(port, label) ((port) + (SERIAL_##label))
|
/seL4-test-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-test-master/projects/musllibc/src/thread/powerpc/ |
H A D | clone.s | 43 bns+ 1f # jump to label 1 if no summary overflow.
|
/seL4-test-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)
|