Searched refs:word (Results 1 - 25 of 54) sorted by relevance

123

/seL4-refos-master/kernel/src/arch/x86/
H A Dmultiboot.S70 .word 0x0
71 .word 0x0
H A Dc_traps.c49 ksKernelEntry.word = irq;
56 ksKernelEntry.word = type;
64 ksKernelEntry.word = NODE_STATE(ksCurThread)->tcbArch.tcbContext.registers[FaultIP];
71 ksKernelEntry.word = irq;
78 ksKernelEntry.word = irq;
95 ksKernelEntry.word = sys_num;
127 /* ksKernelEntry.word word is already set to syscall */
/seL4-refos-master/libs/libmuslc/src/internal/riscv/
H A Dsyscall.s35 1: .word __sysinfo-1b
/seL4-refos-master/libs/libmuslc/src/internal/riscv_sel4/
H A Dsyscall.s35 1: .word __sysinfo-1b
/seL4-refos-master/kernel/include/api/
H A Ddebug.h25 printf("Interrupt, irq %lu\n", (unsigned long) ksKernelEntry.word);
28 printf("Unknown syscall, word: %lu", (unsigned long) ksKernelEntry.word);
31 printf("VM Fault, fault type: %lu\n", (unsigned long) ksKernelEntry.word);
34 printf("User level fault, number: %lu", (unsigned long) ksKernelEntry.word);
38 printf("Debug fault. Fault Vaddr: 0x%lx", (unsigned long) ksKernelEntry.word);
/seL4-refos-master/libs/libmuslc/src/internal/arm_sel4/
H A Dsyscall.s14 1: .word __sysinfo-1b
/seL4-refos-master/seL4_tools/elfloader-tool/src/plat/imx6/
H A Dmonitor.S46 .word VECTOR_BASE + (smc_handler - arm_monitor_vector)
48 .word VECTOR_BASE + (smc_halt - arm_monitor_vector)
50 .word STACK_TOP
/seL4-refos-master/seL4_tools/elfloader-tool/src/plat/tk1/
H A Dmonitor.S46 .word VECTOR_BASE + (smc_handler - arm_monitor_vector)
48 .word VECTOR_BASE + (smc_halt - arm_monitor_vector)
50 .word STACK_TOP
/seL4-refos-master/tools/elfloader/src/plat/imx6/
H A Dmonitor.S46 .word VECTOR_BASE + (smc_handler - arm_monitor_vector)
48 .word VECTOR_BASE + (smc_halt - arm_monitor_vector)
50 .word STACK_TOP
/seL4-refos-master/tools/elfloader/src/plat/tk1/
H A Dmonitor.S46 .word VECTOR_BASE + (smc_handler - arm_monitor_vector)
48 .word VECTOR_BASE + (smc_halt - arm_monitor_vector)
50 .word STACK_TOP
/seL4-refos-master/kernel/libsel4/include/sel4/
H A Dbenchmark_track_types.h45 seL4_Word word: 26; member in struct:kernel_entry::__anon27::__anon28
/seL4-refos-master/libs/libsel4/include/sel4/
H A Dbenchmark_track_types.h45 seL4_Word word: 26; member in struct:kernel_entry::__anon98::__anon99
/seL4-refos-master/kernel/include/arch/arm/arch/machine/
H A Dgic_v2.h130 int word = irq >> 4; local
132 return !!(gic_dist->config[word] & BIT(bit + 1));
137 int word = IRQ_REG(irq); local
140 gic_dist->pending_clr[word] = BIT(bit);
145 int word = IRQ_REG(irq); local
148 gic_dist->enable_clr[word] = BIT(bit);
153 int word = IRQ_REG(irq); local
155 gic_dist->enable_set[word] = BIT(bit);
H A Dgic_v3.h175 int word = irq >> 4; local
184 icfgr = gic_dist->icfgrn[word];
192 int word = IRQ_REG(irq); local
199 gic_dist->icpendrn[word] = BIT(bit);
205 int word = IRQ_REG(irq); local
211 gic_dist->icenablern[word] = BIT(bit);
218 int word = IRQ_REG(irq); local
224 gic_dist->isenablern[word] = BIT(bit);
/seL4-refos-master/kernel/manual/parts/
H A Dnotifications.tex14 A \obj{Notification} object contains a single data word, called the
15 \emph{notification word}. Such an object supports two operations:
30 notification word by bit-wise \texttt{or}-ing it with the \emph{badge}
39 select-style wait on the set of semaphores: If the notification word is
42 notification word to zero and returning to the invoker the previous
43 notification-word value.
46 no signals are pending (the notification word is 0) the call will return immediately
/seL4-refos-master/libs/libmuslc/src/thread/arm/
H A Datomics.s96 .word __a_barrier_dummy
101 .word __a_cas_dummy
106 .word __a_gettp_cp15
/seL4-refos-master/libs/libmuslc/src/thread/arm_sel4/
H A Datomics.s96 .word __a_barrier_dummy
101 .word __a_cas_dummy
106 .word __a_gettp_cp15
/seL4-refos-master/seL4_tools/elfloader-tool/src/arch-arm/32/
H A Dcrt0.S105 .word core_stack_alloc + 0xff0 // r3
106 .word continue_boot // r4
107 .word _text // r5
/seL4-refos-master/tools/elfloader/src/arch-arm/32/
H A Dcrt0.S105 .word core_stack_alloc + 0xff0 // r3
106 .word continue_boot // r4
107 .word _text // r5
/seL4-refos-master/kernel/src/arch/arm/
H A Dc_traps.c26 ksKernelEntry.word = getRegister(NODE_STATE(ksCurThread), NextIP);
72 ksKernelEntry.word = getRegister(NODE_STATE(ksCurThread), NextIP);
97 ksKernelEntry.word = IRQT_TO_IRQ(getActiveIRQ());
112 /* ksKernelEntry.word word is already set to syscall */
190 ksKernelEntry.word = hsr;
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/
H A Dinvent.c754 getobj(let,word)
755 register const char *let,*word;
785 if (usegold && !strcmp(word, "eat") &&
802 if(allowall && !strcmp(word, "read")) allowall = FALSE;
806 !strcmp(word, "throw") && throws_rocks(youmonst.data))
833 if ((taking_off(word) &&
840 || (putting_on(word) &&
844 || (!strcmp(word, "wield") &&
847 || (!strcmp(word, "ready") &&
857 else if ((putting_on(word)
[all...]
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/
H A Dinvent.c754 getobj(let,word)
755 register const char *let,*word;
785 if (usegold && !strcmp(word, "eat") &&
802 if(allowall && !strcmp(word, "read")) allowall = FALSE;
806 !strcmp(word, "throw") && throws_rocks(youmonst.data))
833 if ((taking_off(word) &&
840 || (putting_on(word) &&
844 || (!strcmp(word, "wield") &&
847 || (!strcmp(word, "ready") &&
857 else if ((putting_on(word)
[all...]
/seL4-refos-master/kernel/src/arch/x86/64/
H A Dhead.S302 .word (3 * 8) - 1
308 .word 0
309 .word 0
314 .word 0
315 .word 0
395 .word (3 * 8) - 1 /* Limit: 3 segments * 8 bytes - 1 byte */
/seL4-refos-master/libs/libmuslc/src/setjmp/arm/
H A Dlongjmp.s42 1: .word __hwcap-1b
H A Dsetjmp.s44 1: .word __hwcap-1b

Completed in 88 milliseconds

123