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

1234

/seL4-camkes-master/tools/cogent/c-refinement/tests/
H A Dpass_simple-case3.c17 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 Dpass_simple-case3.h31 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 Dwordarraytest.c200 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 Dfaults.h13 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 Ddeprecated.h54 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 Dshared_types.h12 seL4_MessageInfo_t tag; member in struct:seL4_IPCBuffer_
/seL4-camkes-master/tools/cogent/cogent/examples/recursive-list-example/
H A Dlist_node_free.c6 ret.tag = TAG_ENUM_None;
10 ret.tag = TAG_ENUM_Some;
/seL4-camkes-master/projects/seL4_libs/libsel4test/tools/
H A Dextract_results.py33 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 Dfaults.h13 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 Dfaults.h13 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 Dclientapi.c47 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 Dserver.c79 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 Dfmtmsg.c25 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 Dfsm_wrapper_pp_inferred.c108 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 Dzf_log.h99 /* 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 Dfdt.h82 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 Dfaults.h13 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 Dfaults.h14 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 Dfaults.h14 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 Dminigent.js11 if (v.tag == t) {
/seL4-camkes-master/projects/camkes/apps/fdtgen/
H A Dfdt_utils.c93 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 Dzf_log.c239 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 Dvariant_0.c23 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 Dboot_sys.c616 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 Dtestspec.py47 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...]

Completed in 225 milliseconds

1234