Searched refs:tag (Results 1 - 19 of 19) sorted by relevance

/seL4-mcs-10.1.1/libsel4/include/sel4/
H A Dfaults.h19 seL4_getFault(seL4_MessageInfo_t tag) argument
22 switch (seL4_MessageInfo_get_label(tag)) {
39 return seL4_getArchFault(tag);
45 seL4_isDebugException_tag(seL4_MessageInfo_t tag) argument
47 return seL4_MessageInfo_get_label(tag) == seL4_Fault_DebugException;
52 seL4_isVMFault_tag(seL4_MessageInfo_t tag) argument
54 return seL4_MessageInfo_get_label(tag) == seL4_Fault_VMFault;
58 seL4_isUnknownSyscall_tag(seL4_MessageInfo_t tag) argument
60 return seL4_MessageInfo_get_label(tag) == seL4_Fault_UnknownSyscall;
64 seL4_isUserException_tag(seL4_MessageInfo_t tag) argument
70 seL4_isNullFault_tag(seL4_MessageInfo_t tag) argument
76 seL4_isCapFault_tag(seL4_MessageInfo_t tag) argument
82 seL4_isTimeoutFault_tag(seL4_MessageInfo_t tag) argument
[all...]
H A Ddeprecated.h60 return seL4_GetIPCBuffer()->tag;
64 seL4_SetTag(seL4_MessageInfo_t tag) argument
66 seL4_GetIPCBuffer()->tag = tag;
84 return seL4_isVMFault_tag(seL4_GetIPCBuffer()->tag);
88 seL4_isPageFault_Tag(seL4_MessageInfo_t tag) argument
90 return seL4_isVMFault_tag(tag);
94 seL4_isExceptIPC_Tag(seL4_MessageInfo_t tag) argument
96 return seL4_isUnknownSyscall_tag(tag);
112 seL4_IsArchSyscallFrom(seL4_MessageInfo_t tag) argument
118 seL4_IsArchExceptionFrom(seL4_MessageInfo_t tag) argument
[all...]
H A Dshared_types.h19 seL4_MessageInfo_t tag; member in struct:seL4_IPCBuffer_
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/
H A Dfaults.h19 seL4_getArchFault(seL4_MessageInfo_t tag) argument
21 switch (seL4_MessageInfo_get_label(tag)) {
66 seL4_isVGICMaintenance_tag(seL4_MessageInfo_t tag) argument
68 return seL4_MessageInfo_get_label(tag) == seL4_Fault_VGICMaintenance;
72 seL4_isVCPUFault_tag(seL4_MessageInfo_t tag) argument
74 return seL4_MessageInfo_get_label(tag) == seL4_Fault_VCPUFault;
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/
H A Dfaults.h19 seL4_getArchFault(seL4_MessageInfo_t tag) argument
21 switch (seL4_MessageInfo_get_label(tag)) {
66 seL4_isVGICMaintenance_tag(seL4_MessageInfo_t tag) argument
68 return seL4_MessageInfo_get_label(tag) == seL4_Fault_VGICMaintenance;
72 seL4_isVCPUFault_tag(seL4_MessageInfo_t tag) argument
74 return seL4_MessageInfo_get_label(tag) == seL4_Fault_VCPUFault;
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/
H A Dfaults.h21 seL4_getArchFault(seL4_MessageInfo_t tag) argument
23 switch (seL4_MessageInfo_get_label(tag)) {
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/
H A Dfaults.h19 seL4_getArchFault(seL4_MessageInfo_t tag) argument
21 switch (seL4_MessageInfo_get_label(tag)) {
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/riscv32/sel4/sel4_arch/
H A Dfaults.h27 seL4_getArchFault(seL4_MessageInfo_t tag) argument
29 switch (seL4_MessageInfo_get_label(tag)) {
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/riscv64/sel4/sel4_arch/
H A Dfaults.h27 seL4_getArchFault(seL4_MessageInfo_t tag) argument
29 switch (seL4_MessageInfo_get_label(tag)) {
/seL4-mcs-10.1.1/include/api/
H A Dshared_types.h19 seL4_MessageInfo_t tag; member in struct:seL4_IPCBuffer_
/seL4-mcs-10.1.1/src/arch/x86/kernel/
H A Dboot_sys.c674 multiboot2_tag_t const * tag = (multiboot2_tag_t *)(mbi2 + 1); local
687 while (tag < tag_e && tag->type != MULTIBOOT2_TAG_END) {
688 word_t const behind_tag = (word_t)tag + sizeof(*tag);
690 if (tag->type == MULTIBOOT2_TAG_CMDLINE) {
693 } else if (tag->type == MULTIBOOT2_TAG_ACPI_1) {
694 if (ACPI_V1_SIZE == tag->size - sizeof(*tag)) {
695 memcpy(&boot_state.acpi_rsdp, (void *)behind_tag, tag
[all...]
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/
H A Dfaults.h21 seL4_getArchFault(seL4_MessageInfo_t tag) argument
23 switch (seL4_MessageInfo_get_label(tag)) {
/seL4-mcs-10.1.1/src/kernel/
H A Dthread.c184 seL4_MessageInfo_t tag; local
188 tag = messageInfoFromWord(getRegister(sender, msgInfoRegister));
191 status = lookupExtraCaps(sender, sendBuffer, tag);
202 seL4_MessageInfo_get_length(tag));
204 tag = transferCaps(tag, caps, endpoint, receiver, receiveBuffer);
206 tag = seL4_MessageInfo_set_length(tag, msgTransferred);
207 setRegister(receiver, msgInfoRegister, wordFromMessageInfo(tag));
/seL4-mcs-10.1.1/include/arch/arm/arch/32/mode/kernel/
H A Dvspace.h30 pde_pte_tag_t tag; member in struct:createMappingEntries_ret
/seL4-mcs-10.1.1/src/api/
H A Dfaults.c125 seL4_MessageInfo_t tag = messageInfoFromWord(getRegister(sender, msgInfoRegister)); local
126 word_t label = seL4_MessageInfo_get_label(tag);
127 word_t length = seL4_MessageInfo_get_length(tag);
/seL4-mcs-10.1.1/manual/tools/
H A Dparse_doxygen_xml.py101 def parse_list(self, para, ref_dict, tag):
291 def parse_list(self, para, ref_dict, tag):
294 output = '\\begin{%s}\n' % tag
297 output += '\\end{%s}\n' % tag
423 def parse_list(self, para, ref_dict, tag):
426 if tag == "enumerate":
428 elif tag == "itemize":
/seL4-mcs-10.1.1/manual/parts/
H A Dipc.tex35 Every IPC message also has a tag (structure \texttt{seL4\_MessageInfo\_t}). The
36 tag consists of four fields: the label, message length, number of capabilities
57 \ipcparam{seL4\_MessageInfo\_t}{}{tag}{Message tag}
95 The situation is similar for the tag field.
98 may wish to copy the message tag from its CPU register to this field, although
147 to send is specified in the \texttt{extraCaps} field of the message tag.
171 tag. The capability itself is not transferred, so the receive slot may be used
174 If a receiver gets a message whose tag has an \texttt{extraCaps} of 2 and a
H A Dapi.tex84 \newcommand{\errorenumdesc}{A return value of \texttt{0} indicates success. A non-zero value indicates that an error occurred. See \autoref{sec:errors} for a description of the message register and tag contents upon error.}
113 seL4 system calls return an error code in the message tag and a short
H A Dthreads.tex393 tag.
407 tag.

Completed in 102 milliseconds