Searched refs:magic (Results 1 - 25 of 164) sorted by relevance

1234567

/seL4-refos-master/libs/librefos/include/refos-rpc/
H A Dproc_common.h37 seL4_Word magic; member in struct:proc_notification
/seL4-refos-master/projects/refos/impl/libs/librefos/include/refos-rpc/
H A Dproc_common.h37 seL4_Word magic; member in struct:proc_notification
/seL4-refos-master/libs/libmuslc/arch/mips/bits/
H A Duser.h7 unsigned long magic; member in struct:user
/seL4-refos-master/libs/libmuslc/arch/mips64/bits/
H A Duser.h7 unsigned long long magic; member in struct:user
/seL4-refos-master/libs/libmuslc/arch/mipsn32/bits/
H A Duser.h7 unsigned long long magic; member in struct:user
/seL4-refos-master/libs/librefos/src/refos-util/
H A Dnameserv.c47 entry->magic = REFOS_NAMESERV_ENTRY_MAGIC;
56 assert(n && n->magic == REFOS_NAMESERV_MAGIC);
57 assert(entry && entry->magic == REFOS_NAMESERV_ENTRY_MAGIC);
60 entry->magic = 0;
70 n->magic = REFOS_NAMESERV_MAGIC;
78 assert(n && n->magic == REFOS_NAMESERV_MAGIC);
85 n->magic = 0;
91 assert(n && n->magic == REFOS_NAMESERV_MAGIC);
107 assert(n && n->magic == REFOS_NAMESERV_MAGIC);
115 assert(nameEntry && nameEntry->name && nameEntry->magic
[all...]
/seL4-refos-master/projects/refos/impl/libs/librefos/src/refos-util/
H A Dnameserv.c47 entry->magic = REFOS_NAMESERV_ENTRY_MAGIC;
56 assert(n && n->magic == REFOS_NAMESERV_MAGIC);
57 assert(entry && entry->magic == REFOS_NAMESERV_ENTRY_MAGIC);
60 entry->magic = 0;
70 n->magic = REFOS_NAMESERV_MAGIC;
78 assert(n && n->magic == REFOS_NAMESERV_MAGIC);
85 n->magic = 0;
91 assert(n && n->magic == REFOS_NAMESERV_MAGIC);
107 assert(n && n->magic == REFOS_NAMESERV_MAGIC);
115 assert(nameEntry && nameEntry->name && nameEntry->magic
[all...]
/seL4-refos-master/kernel/tools/
H A Dreciprocal.py10 # constant. It is used to calculate the correct magic numbers
36 return ((n + add_ind) * magic) >> shift_amt
41 description="Generate magic numbers for emulating 64-bit division with multiplication by reciprocal using algorithm from Hacker's Delight, chapter 10.")
43 help="Devisor to calculate magic numbers for")
46 magic, shift_amt = magicgu(2**32 - 1, args.divisor)
47 print("magic number is: %d, shift amount is %d" % (magic, shift_amt))
58 print("Success! Use (n * %d) >> %d to calculate n / %d" % (magic, shift_amt, args.divisor))
59 print("magic number is: %d, shift amount is %d" % (magic, shift_am
[all...]
/seL4-refos-master/seL4_tools/elfloader-tool/src/
H A Dfdt.c13 uint32_t magic; member in struct:fdt_header
37 if (be32_to_le(hdr->magic) != FDT_MAGIC ||
/seL4-refos-master/tools/elfloader/src/
H A Dfdt.c13 uint32_t magic; member in struct:fdt_header
37 if (be32_to_le(hdr->magic) != FDT_MAGIC ||
/seL4-refos-master/projects/refos/impl/apps/console_server/src/
H A Ddevice_input.c76 assert(s && s->magic == CONSERV_DEVICE_INPUT_MAGIC);
102 assert(waiter && waiter->magic == CONSERV_DEVICE_INPUT_WAITER_MAGIC);
124 waiter->magic = 0x0;
136 s->magic = CONSERV_DEVICE_INPUT_MAGIC;
163 assert(s && s->magic == CONSERV_DEVICE_INPUT_MAGIC);
189 assert(s && s->magic == CONSERV_DEVICE_INPUT_MAGIC);
190 assert(c && c->magic == CONSERV_CLIENT_MAGIC);
199 waiter->magic = CONSERV_DEVICE_INPUT_WAITER_MAGIC;
228 waiter->magic = 0;
H A Ddevice_input.h36 uint32_t magic; member in struct:input_waiter
43 uint32_t magic; member in struct:input_state
H A Ddevice_screen.c36 s->magic = CONSERV_DEVICE_SCREEN_MAGIC;
77 assert(s && s->magic == CONSERV_DEVICE_SCREEN_MAGIC);
89 assert(s && s->magic == CONSERV_DEVICE_SCREEN_MAGIC);
115 assert(s && s->magic == CONSERV_DEVICE_SCREEN_MAGIC);
/seL4-refos-master/projects/refos/impl/apps/console_server/src/dispatchers/dspace/
H A Ddspace.c54 assert(c && (c->magic == CONSERV_DISPATCH_ANON_CLIENT_MAGIC ||
55 c->magic == CONSERV_CLIENT_MAGIC));
80 assert(c && (c->magic == CONSERV_DISPATCH_ANON_CLIENT_MAGIC || c->magic == CONSERV_CLIENT_MAGIC));
105 assert(c && (c->magic == CONSERV_DISPATCH_ANON_CLIENT_MAGIC || c->magic == CONSERV_CLIENT_MAGIC));
130 if (c->magic == CONSERV_DISPATCH_ANON_CLIENT_MAGIC) {
161 assert(c && (c->magic == CONSERV_DISPATCH_ANON_CLIENT_MAGIC || c->magic == CONSERV_CLIENT_MAGIC));
/seL4-refos-master/apps/console_server/src/
H A Ddevice_input.c76 assert(s && s->magic == CONSERV_DEVICE_INPUT_MAGIC);
102 assert(waiter && waiter->magic == CONSERV_DEVICE_INPUT_WAITER_MAGIC);
124 waiter->magic = 0x0;
136 s->magic = CONSERV_DEVICE_INPUT_MAGIC;
163 assert(s && s->magic == CONSERV_DEVICE_INPUT_MAGIC);
189 assert(s && s->magic == CONSERV_DEVICE_INPUT_MAGIC);
190 assert(c && c->magic == CONSERV_CLIENT_MAGIC);
199 waiter->magic = CONSERV_DEVICE_INPUT_WAITER_MAGIC;
228 waiter->magic = 0;
H A Ddevice_input.h36 uint32_t magic; member in struct:input_waiter
43 uint32_t magic; member in struct:input_state
/seL4-refos-master/apps/console_server/src/dispatchers/dspace/
H A Ddspace.c54 assert(c && (c->magic == CONSERV_DISPATCH_ANON_CLIENT_MAGIC ||
55 c->magic == CONSERV_CLIENT_MAGIC));
80 assert(c && (c->magic == CONSERV_DISPATCH_ANON_CLIENT_MAGIC || c->magic == CONSERV_CLIENT_MAGIC));
105 assert(c && (c->magic == CONSERV_DISPATCH_ANON_CLIENT_MAGIC || c->magic == CONSERV_CLIENT_MAGIC));
130 if (c->magic == CONSERV_DISPATCH_ANON_CLIENT_MAGIC) {
161 assert(c && (c->magic == CONSERV_DISPATCH_ANON_CLIENT_MAGIC || c->magic == CONSERV_CLIENT_MAGIC));
/seL4-refos-master/projects/refos/impl/apps/process_server/src/dispatchers/
H A Dproc_syscall.c53 assert(pcb && pcb->magic == REFOS_PCB_MAGIC);
82 assert(pcb->magic == REFOS_PCB_MAGIC);
96 assert(pcb->magic == REFOS_PCB_MAGIC);
112 assert(pcb->magic == REFOS_PCB_MAGIC);
134 assert(pcb->magic == REFOS_PCB_MAGIC);
151 assert(client->magic == REFOS_PCB_MAGIC);
181 assert(pcb->magic == REFOS_PCB_MAGIC);
198 assert(client->magic == REFOS_PCB_MAGIC);
216 assert(pcb->magic == REFOS_PCB_MAGIC);
253 assert(pcb->magic
[all...]
/seL4-refos-master/apps/process_server/src/dispatchers/
H A Dproc_syscall.c53 assert(pcb && pcb->magic == REFOS_PCB_MAGIC);
82 assert(pcb->magic == REFOS_PCB_MAGIC);
96 assert(pcb->magic == REFOS_PCB_MAGIC);
112 assert(pcb->magic == REFOS_PCB_MAGIC);
134 assert(pcb->magic == REFOS_PCB_MAGIC);
151 assert(client->magic == REFOS_PCB_MAGIC);
181 assert(pcb->magic == REFOS_PCB_MAGIC);
198 assert(client->magic == REFOS_PCB_MAGIC);
216 assert(pcb->magic == REFOS_PCB_MAGIC);
253 assert(pcb->magic
[all...]
/seL4-refos-master/libs/librefossys/src/refos-io/
H A Dfiletable.c37 int magic; member in struct:fd_table_entry_dataspace_s
63 e->magic = FD_TABLE_ENTRY_DATASPACE_MAGIC;
91 assert(e->magic == FD_TABLE_ENTRY_DATASPACE_MAGIC);
110 e->magic = 0x0;
127 fdt->magic = FD_TABLE_MAGIC;
140 assert(fdt && fdt->magic == FD_TABLE_MAGIC);
142 fdt->magic = 0x0;
148 assert(fdt && fdt->magic == FD_TABLE_MAGIC);
166 assert(e->magic == FD_TABLE_ENTRY_DATASPACE_MAGIC);
198 assert(fdt && fdt->magic
[all...]
/seL4-refos-master/projects/refos/impl/libs/librefossys/src/refos-io/
H A Dfiletable.c37 int magic; member in struct:fd_table_entry_dataspace_s
63 e->magic = FD_TABLE_ENTRY_DATASPACE_MAGIC;
91 assert(e->magic == FD_TABLE_ENTRY_DATASPACE_MAGIC);
110 e->magic = 0x0;
127 fdt->magic = FD_TABLE_MAGIC;
140 assert(fdt && fdt->magic == FD_TABLE_MAGIC);
142 fdt->magic = 0x0;
148 assert(fdt && fdt->magic == FD_TABLE_MAGIC);
166 assert(e->magic == FD_TABLE_ENTRY_DATASPACE_MAGIC);
198 assert(fdt && fdt->magic
[all...]
/seL4-refos-master/libs/librefos/include/refos-util/
H A Dnameserv.h47 uint32_t magic; member in struct:nameserv_entry
52 uint32_t magic; member in struct:nameserv_state
/seL4-refos-master/projects/refos/impl/apps/timer_server/src/
H A Ddevice_timer.h33 uint32_t magic; member in struct:device_timer_waiter
41 uint32_t magic; member in struct:device_timer_state
/seL4-refos-master/projects/refos/impl/libs/librefos/include/refos-util/
H A Dnameserv.h47 uint32_t magic; member in struct:nameserv_entry
52 uint32_t magic; member in struct:nameserv_state
/seL4-refos-master/apps/timer_server/src/
H A Ddevice_timer.h33 uint32_t magic; member in struct:device_timer_waiter
41 uint32_t magic; member in struct:device_timer_state

Completed in 199 milliseconds

1234567