/seL4-camkes-master/tools/cogent/c-refinement/tests/ |
H A D | pass_simple-case3.c | 17 if (a1.tag == TAG_ENUM_Atag) { 20 t2 r3 = {.tag =a1.tag, .Btag =a1.Btag, .Ctag =a1.Ctag}; 23 if (r3.tag == TAG_ENUM_Btag) { 26 t3 r5 = {.tag =r3.tag, .Ctag =r3.Ctag};
|
H A D | pass_simple-case3.h | 31 tag_t tag; member in struct:t1 38 tag_t tag; member in struct:t2 44 tag_t tag; member in struct:t3
|
H A D | wordarraytest.c | 200 tag_t tag; member in struct:t4 211 tag_t tag; member in struct:t6 232 tag_t tag; member in struct:t10 248 tag_t tag; member in struct:t13 264 tag_t tag; member in struct:t61 270 tag_t tag; member in struct:t64 275 tag_t tag; member in struct:t67 280 tag_t tag; member in struct:t75 286 tag_t tag; member in struct:t80 291 tag_t tag; member in struct:t119 296 tag_t tag; member in struct:t123 [all...] |
/seL4-camkes-master/kernel/libsel4/include/sel4/ |
H A D | faults.h | 13 LIBSEL4_INLINE_FUNC seL4_Fault_t seL4_getFault(seL4_MessageInfo_t tag) argument 16 switch (seL4_MessageInfo_get_label(tag)) { 33 return seL4_getArchFault(tag); 38 LIBSEL4_INLINE_FUNC seL4_Bool seL4_isDebugException_tag(seL4_MessageInfo_t tag) argument 40 return seL4_MessageInfo_get_label(tag) == seL4_Fault_DebugException; 44 LIBSEL4_INLINE_FUNC seL4_Bool seL4_isVMFault_tag(seL4_MessageInfo_t tag) argument 46 return seL4_MessageInfo_get_label(tag) == seL4_Fault_VMFault; 49 LIBSEL4_INLINE_FUNC seL4_Bool seL4_isUnknownSyscall_tag(seL4_MessageInfo_t tag) argument 51 return seL4_MessageInfo_get_label(tag) == seL4_Fault_UnknownSyscall; 54 LIBSEL4_INLINE_FUNC seL4_Bool seL4_isUserException_tag(seL4_MessageInfo_t tag) argument 59 seL4_isNullFault_tag(seL4_MessageInfo_t tag) argument 64 seL4_isCapFault_tag(seL4_MessageInfo_t tag) argument 70 seL4_isTimeoutFault_tag(seL4_MessageInfo_t tag) argument [all...] |
H A D | deprecated.h | 54 return seL4_GetIPCBuffer()->tag; 58 seL4_SetTag(seL4_MessageInfo_t tag) argument 60 seL4_GetIPCBuffer()->tag = tag; 78 return seL4_isVMFault_tag(seL4_GetIPCBuffer()->tag); 82 seL4_isPageFault_Tag(seL4_MessageInfo_t tag) argument 84 return seL4_isVMFault_tag(tag); 88 seL4_isExceptIPC_Tag(seL4_MessageInfo_t tag) argument 90 return seL4_isUnknownSyscall_tag(tag); 106 seL4_IsArchSyscallFrom(seL4_MessageInfo_t tag) argument 112 seL4_IsArchExceptionFrom(seL4_MessageInfo_t tag) argument [all...] |
H A D | shared_types.h | 12 seL4_MessageInfo_t tag; member in struct:seL4_IPCBuffer_
|
/seL4-camkes-master/tools/cogent/cogent/examples/recursive-list-example/ |
H A D | list_node_free.c | 6 ret.tag = TAG_ENUM_None; 10 ret.tag = TAG_ENUM_Some;
|
/seL4-camkes-master/projects/seL4_libs/libsel4test/tools/ |
H A D | extract_results.py | 33 def print_tag(f, tag): 34 assert isinstance(tag, bs4.element.Tag) 37 if tag.name not in TAG_WHITELIST: 41 if TAG_WHITELIST[tag.name]: 42 if tag.name != SYS_OUT: 43 print(tag, file=f) 45 print('<%s>' % tag.name, file=f) 46 text = tag.get_text() 52 print('</%s>' % tag.name, file=f) 55 'name': tag [all...] |
/seL4-camkes-master/kernel/libsel4/sel4_arch_include/aarch32/sel4/sel4_arch/ |
H A D | faults.h | 13 LIBSEL4_INLINE_FUNC seL4_Fault_t seL4_getArchFault(seL4_MessageInfo_t tag) argument 15 switch (seL4_MessageInfo_get_label(tag)) { 62 LIBSEL4_INLINE_FUNC seL4_Bool seL4_isVGICMaintenance_tag(seL4_MessageInfo_t tag) argument 64 return seL4_MessageInfo_get_label(tag) == seL4_Fault_VGICMaintenance; 67 LIBSEL4_INLINE_FUNC seL4_Bool seL4_isVCPUFault_tag(seL4_MessageInfo_t tag) argument 69 return seL4_MessageInfo_get_label(tag) == seL4_Fault_VCPUFault;
|
/seL4-camkes-master/kernel/libsel4/sel4_arch_include/arm_hyp/sel4/sel4_arch/ |
H A D | faults.h | 13 LIBSEL4_INLINE_FUNC seL4_Fault_t seL4_getArchFault(seL4_MessageInfo_t tag) argument 15 switch (seL4_MessageInfo_get_label(tag)) { 62 LIBSEL4_INLINE_FUNC seL4_Bool seL4_isVGICMaintenance_tag(seL4_MessageInfo_t tag) argument 64 return seL4_MessageInfo_get_label(tag) == seL4_Fault_VGICMaintenance; 67 LIBSEL4_INLINE_FUNC seL4_Bool seL4_isVCPUFault_tag(seL4_MessageInfo_t tag) argument 69 return seL4_MessageInfo_get_label(tag) == seL4_Fault_VCPUFault;
|
/seL4-camkes-master/projects/seL4_libs/libsel4serialserver/src/ |
H A D | clientapi.c | 47 seL4_MessageInfo_t tag; local 95 tag = seL4_MessageInfo_new(0, 0, 99 tag = seL4_Call(badged_server_ep_cap, tag); 111 error = seL4_MessageInfo_get_label(tag); 154 seL4_MessageInfo_t tag; local 158 tag = seL4_MessageInfo_new(0, 0, 0, SSMSGREG_WRITE_REQ_END); 160 tag = seL4_Call(conn->badged_server_ep_cspath.capPtr, tag); 167 if (seL4_MessageInfo_get_label(tag) ! 248 seL4_MessageInfo_t tag; local 268 seL4_MessageInfo_t tag; local [all...] |
H A D | server.c | 79 static inline void reply(seL4_MessageInfo_t tag) argument 81 api_reply(get_serial_server()->server_thread.reply.cptr, tag); local 225 seL4_Error serial_server_func_connect(seL4_MessageInfo_t tag, argument 269 if (seL4_MessageInfo_get_extraCaps(tag) != client_shmem_n_pages) { 273 seL4_MessageInfo_get_extraCaps(tag), client_badge_value, 446 seL4_MessageInfo_t tag; local 475 tag = seL4_MessageInfo_new(error, 0, 0, SSMSGREG_SPAWN_SYNC_ACK_END); 476 reply(tag); 491 tag = recv(&sender_badge); 515 error = serial_server_func_connect(tag, [all...] |
/seL4-camkes-master/projects/musllibc/src/misc/ |
H A D | fmtmsg.c | 25 const char *text, const char *action, const char *tag) 30 "label", "severity", "text", "action", "tag", NULL 51 tag?tag:"" )<1) 81 (verb&16 && tag) ? tag : "" ) < 1) 24 fmtmsg(long classification, const char *label, int severity, const char *text, const char *action, const char *tag) argument
|
/seL4-camkes-master/tools/cogent/impl/fs/bilby/quickcheck/fsm_example/build/ |
H A D | fsm_wrapper_pp_inferred.c | 108 tag_t tag; member in struct:t5 119 tag_t tag; member in struct:t7 125 tag_t tag; member in struct:t8 202 tag_t tag; member in struct:t17 253 tag_t tag; member in struct:t23 264 tag_t tag; member in struct:t25 269 tag_t tag; member in struct:t26 274 tag_t tag; member in struct:t27 279 tag_t tag; member in struct:t28 284 tag_t tag; member in struct:t29 [all...] |
/seL4-camkes-master/projects/util_libs/libutils/include/utils/ |
H A D | zf_log.h | 99 /* Log tag configuration: 100 * - ZF_LOG_DEF_TAG - defines default log tag. 101 * - ZF_LOG_TAG - overrides default log tag. 111 * If both ZF_LOG_DEF_TAG and ZF_LOG_TAG are undefined no tag will be added to 150 /* Set tag prefix. Prefix will be separated from the tag with dot ('.'). 176 const char *tag; member in struct:zf_log_output_ctx 180 char *tag_b; /* Prefixed tag start */ 181 char *tag_e; /* Prefixed tag end (if != tag_b, points to msg separator) */ 249 const int lvl, const char *const tag, [all...] |
/seL4-camkes-master/projects/util_libs/libfdt/ |
H A D | fdt.h | 82 fdt32_t tag; member in struct:fdt_node_header 87 fdt32_t tag; member in struct:fdt_property
|
/seL4-camkes-master/kernel/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
H A D | faults.h | 13 LIBSEL4_INLINE_FUNC seL4_Fault_t seL4_getArchFault(seL4_MessageInfo_t tag) argument 15 switch (seL4_MessageInfo_get_label(tag)) {
|
/seL4-camkes-master/kernel/libsel4/sel4_arch_include/riscv32/sel4/sel4_arch/ |
H A D | faults.h | 14 LIBSEL4_INLINE_FUNC seL4_Fault_t seL4_getArchFault(seL4_MessageInfo_t tag) argument 16 switch (seL4_MessageInfo_get_label(tag)) {
|
/seL4-camkes-master/kernel/libsel4/sel4_arch_include/riscv64/sel4/sel4_arch/ |
H A D | faults.h | 14 LIBSEL4_INLINE_FUNC seL4_Fault_t seL4_getArchFault(seL4_MessageInfo_t tag) argument 16 switch (seL4_MessageInfo_get_label(tag)) {
|
/seL4-camkes-master/tools/cogent/minigent/ |
H A D | minigent.js | 11 if (v.tag == t) {
|
/seL4-camkes-master/projects/camkes/apps/fdtgen/ |
H A D | fdt_utils.c | 93 uint32_t tag; local 135 while ((tag = fdt32_to_cpu(GET_CELL(p))) != FDT_END) { 137 if (tag == FDT_BEGIN_NODE) { 151 if (tag == FDT_END_NODE) { 158 if (tag == FDT_NOP) { 163 if (tag != FDT_PROP) { 164 fprintf(stderr, "%*s ** Unknown tag 0x%08x\n", depth * shift, "", tag);
|
/seL4-camkes-master/projects/util_libs/libutils/src/ |
H A D | zf_log.c | 239 const char *tag = ctx->p; local 242 tag = ctx->tag_b; 245 __android_log_print(android_lvl(ctx->lvl), tag, "%s", ctx->msg_b); 314 static void put_tag(zf_log_output_ctx *const ctx, const char *const tag) argument 324 if (0 != (ch = tag) && 0 != tag[0]) 422 ctx.tag = (tag_); \ 429 const int lvl, const char *const tag, 432 CTX(lvl, tag); 436 put_tag(&ctx, tag); 427 _zf_log_write_d(const char *const func, const char *const file, const unsigned line, const int lvl, const char *const tag, const char *const fmt, ...) argument 443 _zf_log_write(const int lvl, const char *const tag, const char *const fmt, ...) argument 456 _zf_log_write_mem_d(const char *const func, const char *const file, const unsigned line, const int lvl, const char *const tag, const void *const d, const unsigned d_sz, const char *const fmt, ...) argument 474 _zf_log_write_mem(const int lvl, const char *const tag, const void *const d, const unsigned d_sz, const char *const fmt, ...) argument [all...] |
/seL4-camkes-master/tools/cogent/cogent/dargent-examples/variant_0/ |
H A D | variant_0.c | 23 return (t2) {.tag = TAG_ENUM_A, .A = d6_get_a_A(b)}; 88 return d10_get_b_tag(b) == 5U ? (t8) {.tag = TAG_ENUM_E, .E = 90 4U ? (t8) {.tag = TAG_ENUM_D, .D = d19_get_b_D(b)} : d10_get_b_tag(b) == 91 3U ? (t8) {.tag = TAG_ENUM_C, .C = d16_get_b_C(b)} : d10_get_b_tag(b) == 92 2U ? (t8) {.tag = TAG_ENUM_B, .B = d14_get_b_B(b)} : (t8) {.tag = 184 if (v.tag == TAG_ENUM_E) { 187 } else if (v.tag == TAG_ENUM_D) { 190 } else if (v.tag == TAG_ENUM_C) { 193 } else if (v.tag [all...] |
/seL4-camkes-master/kernel/src/arch/x86/kernel/ |
H A D | boot_sys.c | 616 multiboot2_tag_t const *tag = (multiboot2_tag_t *)(mbi2 + 1); local 628 while (tag < tag_e && tag->type != MULTIBOOT2_TAG_END) { 629 word_t const behind_tag = (word_t)tag + sizeof(*tag); 631 if (tag->type == MULTIBOOT2_TAG_CMDLINE) { 634 } else if (tag->type == MULTIBOOT2_TAG_ACPI_1) { 635 if (ACPI_V1_SIZE == tag->size - sizeof(*tag)) { 636 memcpy(&boot_state.acpi_rsdp, (void *)behind_tag, tag [all...] |
/seL4-camkes-master/tools/cogent/regression/ |
H A D | testspec.py | 47 def parse_attributes(tag, env, strict=True): 48 """Parse attributes such as "timeout" in the given XML tag, 50 if tag.get("timeout"): 52 env.timeout = int(tag.get("timeout")) 56 if tag.get("cwd"): 57 env.cwd = tag.get("cwd") 58 if tag.get("depends"): 59 env.depends |= set(tag.get("depends").split()) 62 """Parse a <test> tag.""" 80 if child.tag [all...] |