/seL4-refos-master/kernel/src/arch/x86/ |
H A D | multiboot.S | 70 .word 0x0 71 .word 0x0
|
H A D | c_traps.c | 49 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 D | syscall.s | 35 1: .word __sysinfo-1b
|
/seL4-refos-master/libs/libmuslc/src/internal/riscv_sel4/ |
H A D | syscall.s | 35 1: .word __sysinfo-1b
|
/seL4-refos-master/kernel/include/api/ |
H A D | debug.h | 25 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 D | syscall.s | 14 1: .word __sysinfo-1b
|
/seL4-refos-master/seL4_tools/elfloader-tool/src/plat/imx6/ |
H A D | monitor.S | 46 .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 D | monitor.S | 46 .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 D | monitor.S | 46 .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 D | monitor.S | 46 .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 D | benchmark_track_types.h | 45 seL4_Word word: 26; member in struct:kernel_entry::__anon27::__anon28
|
/seL4-refos-master/libs/libsel4/include/sel4/ |
H A D | benchmark_track_types.h | 45 seL4_Word word: 26; member in struct:kernel_entry::__anon98::__anon99
|
/seL4-refos-master/kernel/include/arch/arm/arch/machine/ |
H A D | gic_v2.h | 130 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 D | gic_v3.h | 175 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 D | notifications.tex | 14 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 D | atomics.s | 96 .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 D | atomics.s | 96 .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 D | crt0.S | 105 .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 D | crt0.S | 105 .word core_stack_alloc + 0xff0 // r3 106 .word continue_boot // r4 107 .word _text // r5
|
/seL4-refos-master/kernel/src/arch/arm/ |
H A D | c_traps.c | 26 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 D | invent.c | 754 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 D | invent.c | 754 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 D | head.S | 302 .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 D | longjmp.s | 42 1: .word __hwcap-1b
|
H A D | setjmp.s | 44 1: .word __hwcap-1b
|