/seL4-camkes-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-camkes-master/projects/seL4_libs/libsel4utils/src/time_server/ |
H A D | client.c | 22 seL4_Word label; member in struct:__anon565 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-camkes-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-camkes-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-camkes-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-camkes-master/projects/camkes-tool/camkes/runner/ |
H A D | Context.py | 67 lambda name, type, label=entity.label(), **kwargs: 68 alloc_obj((entity.label(), obj_space), obj_space, 69 '%s_%s' % (entity.label(), name), type, label, 75 (lambda name, obj, **kwargs: alloc_cap((entity.label(), 90 (lambda name, type, label=entity.label(), **kwargs: 91 alloc_cap((entity.label(), cap_space), cap_space, name, 92 alloc_obj((entity.label(), obj_spac [all...] |
/seL4-camkes-master/tools/seL4/elfloader-tool/src/arch-arm/64/ |
H A D | traps.S | 15 .macro ventry label 17 b \label
|
/seL4-camkes-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-camkes-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-camkes-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-camkes-master/projects/picotcp/docs/user_manual/ |
H A D | user_doc.tex | 72 %\label{chap:intro} 76 \label{chap:overview} 81 \label{chap:api_doc} 106 %\label{chap:license} 110 \label{chap:rfcs}
|
/seL4-camkes-master/projects/lwip/src/include/lwip/apps/ |
H A D | mdns_priv.h | 63 err_t mdns_domain_add_label(struct mdns_domain *domain, const char *label, u8_t len);
|
/seL4-camkes-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-camkes-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-camkes-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-camkes-master/projects/lwip/test/unit/mdns/ |
H A D | test_mdns.c | 406 static const char *label = "0123456789abcdef0123456789abcdef"; local 412 res = mdns_domain_add_label(&domain, label, (u8_t)strlen(label)); 415 res = mdns_domain_add_label(&domain, label, (u8_t)strlen(label)); 418 res = mdns_domain_add_label(&domain, label, (u8_t)strlen(label)); 421 res = mdns_domain_add_label(&domain, label, (u8_t)strlen(label)); 424 res = mdns_domain_add_label(&domain, label, (u8_ [all...] |
/seL4-camkes-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-camkes-master/projects/camkes-tool/libsel4camkes/src/ |
H A D | fault.c | 101 int label = seL4_MessageInfo_get_label(info); local 102 switch (label) { 153 "(ID 0x%"PRIxPTR"), pc = %p, slot = 0x%"PRIxPTR"\n", label,
|
/seL4-camkes-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-camkes-master/kernel/include/arch/riscv/arch/object/ |
H A D | objecttype.h | 22 exception_t Arch_decodeInvocation(word_t label, word_t length,
|
/seL4-camkes-master/projects/camkes/apps/aeroplage/components/VESADriver/ |
H A D | chars.sh | 13 convert -resize 14x26\! -font Nimbus-Mono-Regular -pointsize 26 label:$i $i.xbm 18 convert -resize 14x26\! -font Nimbus-Mono-Regular -pointsize 26 label:$i digit$i.xbm
|