Searched refs:label (Results 1 - 25 of 69) sorted by relevance

123

/seL4-camkes-master/projects/seL4_libs/libsel4utils/include/sel4utils/time_server/
H A Dclient.h39 * @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 Dclient.c22 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 Dfmtmsg.c24 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 Dgpio.h119 * @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 Dschedcontrol.h13 exception_t decodeSchedControlInvocation(word_t label, cap_t cap, word_t length, extra_caps_t extra_caps,
H A Dschedcontext.h12 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 DContext.py67 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 Dtraps.S15 .macro ventry label
17 b \label
/seL4-camkes-master/kernel/include/arch/arm/arch/object/
H A Dsmmu.h17 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 Dc_header.py45 #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 Dirq_server.c41 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 Duser_doc.tex72 %\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 Dmdns_priv.h63 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 Dirq_server.h72 * @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 Dsmmu.c21 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 Dfaults.c118 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 Dtest_mdns.c406 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 Dvm.c46 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 Dfault.c101 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 Dadd-cfi.i386.awk21 # 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 Dadd-cfi.i386_sel4.awk21 # 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 Dadd-cfi.x86_64.awk14 # 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 Dadd-cfi.x86_64_sel4.awk14 # 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 Dobjecttype.h22 exception_t Arch_decodeInvocation(word_t label, word_t length,
/seL4-camkes-master/projects/camkes/apps/aeroplage/components/VESADriver/
H A Dchars.sh13 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

Completed in 151 milliseconds

123