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

123

/seL4-test-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-test-master/projects/seL4_libs/libsel4utils/src/time_server/
H A Dclient.c22 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 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-test-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-test-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-test-master/tools/seL4/elfloader-tool/src/arch-arm/64/
H A Dtraps.S15 .macro ventry label
17 b \label
/seL4-test-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-test-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-test-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-test-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-test-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-test-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-test-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-test-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-test-master/kernel/include/arch/riscv/arch/object/
H A Dobjecttype.h22 exception_t Arch_decodeInvocation(word_t label, word_t length,
/seL4-test-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-test-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}
/seL4-test-master/projects/util_libs/libplatsupport/src/plat/pc99/
H A Dserial.c39 #define CONSOLE(port, label) ((port) + (SERIAL_##label))
/seL4-test-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-test-master/projects/musllibc/src/thread/powerpc/
H A Dclone.s43 bns+ 1f # jump to label 1 if no summary overflow.
/seL4-test-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)

Completed in 113 milliseconds

123