/seL4-mcs-10.1.1/libsel4/include/sel4/ |
H A D | faults.h | 19 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 D | deprecated.h | 60 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 D | shared_types.h | 19 seL4_MessageInfo_t tag; member in struct:seL4_IPCBuffer_
|
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/ |
H A D | faults.h | 19 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 D | faults.h | 19 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 D | faults.h | 21 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 D | faults.h | 19 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 D | faults.h | 27 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 D | faults.h | 27 seL4_getArchFault(seL4_MessageInfo_t tag) argument 29 switch (seL4_MessageInfo_get_label(tag)) {
|
/seL4-mcs-10.1.1/include/api/ |
H A D | shared_types.h | 19 seL4_MessageInfo_t tag; member in struct:seL4_IPCBuffer_
|
/seL4-mcs-10.1.1/src/arch/x86/kernel/ |
H A D | boot_sys.c | 674 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 D | faults.h | 21 seL4_getArchFault(seL4_MessageInfo_t tag) argument 23 switch (seL4_MessageInfo_get_label(tag)) {
|
/seL4-mcs-10.1.1/src/kernel/ |
H A D | thread.c | 184 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 D | vspace.h | 30 pde_pte_tag_t tag; member in struct:createMappingEntries_ret
|
/seL4-mcs-10.1.1/src/api/ |
H A D | faults.c | 125 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 D | parse_doxygen_xml.py | 101 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 D | ipc.tex | 35 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 D | api.tex | 84 \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 D | threads.tex | 393 tag. 407 tag.
|