| /seL4-master/include/api/ |
| A D | debug.h | 25 printf("Interrupt, irq %lu\n", (unsigned long) ksKernelEntry.word); in debug_printKernelEntryReason()
28 printf("Unknown syscall, word: %lu", (unsigned long) ksKernelEntry.word); in debug_printKernelEntryReason()
31 printf("VM Fault, fault type: %lu\n", (unsigned long) ksKernelEntry.word); in debug_printKernelEntryReason()
34 printf("User level fault, number: %lu", (unsigned long) ksKernelEntry.word); in debug_printKernelEntryReason()
38 printf("Debug fault. Fault Vaddr: 0x%lx", (unsigned long) ksKernelEntry.word); in debug_printKernelEntryReason()
|
| /seL4-master/include/arch/arm/arch/machine/ |
| A D | gic_v2.h | 131 int word = irq >> 4; in is_irq_edge_triggered() local
133 return !!(gic_dist->config[word] & BIT(bit + 1)); in is_irq_edge_triggered()
138 int word = IRQ_REG(irq); in dist_pending_clr() local
141 gic_dist->pending_clr[word] = BIT(bit); in dist_pending_clr()
146 int word = IRQ_REG(irq); in dist_enable_clr() local
149 gic_dist->enable_clr[word] = BIT(bit); in dist_enable_clr()
154 int word = IRQ_REG(irq); in dist_enable_set() local
156 gic_dist->enable_set[word] = BIT(bit); in dist_enable_set()
|
| A D | gic_v3.h | 235 int word = irq >> 4; in is_irq_edge_triggered() local
244 icfgr = gic_dist->icfgrn[word]; in is_irq_edge_triggered()
252 int word = IRQ_REG(irq); in gic_pending_clr() local
259 gic_dist->icpendrn[word] = BIT(bit); in gic_pending_clr()
265 int word = IRQ_REG(irq); in gic_enable_clr() local
271 gic_dist->icenablern[word] = BIT(bit); in gic_enable_clr()
278 int word = IRQ_REG(irq); in gic_enable_set() local
284 gic_dist->isenablern[word] = BIT(bit); in gic_enable_set()
|
| /seL4-master/src/arch/x86/ |
| A D | c_traps.c | 49 ksKernelEntry.word = irq; in c_handle_interrupt()
56 ksKernelEntry.word = type; in c_handle_interrupt()
64 ksKernelEntry.word = NODE_STATE(ksCurThread)->tcbArch.tcbContext.registers[FaultIP]; in c_handle_interrupt()
71 ksKernelEntry.word = irq; in c_handle_interrupt()
78 ksKernelEntry.word = irq; in c_handle_interrupt()
95 ksKernelEntry.word = sys_num; in c_handle_interrupt()
|
| A D | multiboot.S | 70 .word 0x0
71 .word 0x0
|
| /seL4-master/manual/parts/ |
| 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:
29 notification word by bit-wise \texttt{or}-ing it with the \emph{badge}
38 select-style wait on the set of semaphores: If the notification word is
41 notification word to zero and returning to the invoker the previous
42 notification-word value.
45 no signals are pending (the notification word is 0) the call will return immediately
|
| A D | bootup.tex | 194 …eL4\_Uint8[]} & \texttt{padding} & manual padding so final struct is a multiple of the word size \\
|
| A D | ipc.tex | 126 word chosen by the invoker of the \emph{mint} operation. When a message is sent to an endpoint usin…
|
| A D | threads.tex | 570 message containing the scheduling context data word, as well as the amount of
578 \textbf{Meaning} & \textbf{IPC buffer location} \\ \midrule Data word from
|
| A D | objects.tex | 306 is a word-size array of flags, each of which behaves like a binary semaphore. Operations
|
| A D | cspace.tex | 484 occurred. The description format is explained below. The first word
|
| /seL4-master/src/arch/arm/ |
| A D | c_traps.c | 26 ksKernelEntry.word = getRegister(NODE_STATE(ksCurThread), NextIP); in c_handle_undefined_instruction()
72 ksKernelEntry.word = getRegister(NODE_STATE(ksCurThread), NextIP); in c_handle_vm_fault()
97 ksKernelEntry.word = IRQT_TO_IRQ(getActiveIRQ()); in c_handle_interrupt()
191 ksKernelEntry.word = hsr; in c_handle_vcpu_fault()
|
| /seL4-master/src/arch/x86/64/ |
| A D | head.S | 308 .word 0
309 .word 0
314 .word 0
315 .word 0
323 .word (3 * 8) - 1
400 .word (3 * 8) - 1 /* Limit: 3 segments * 8 bytes - 1 byte */
|
| /seL4-master/libsel4/include/sel4/ |
| A D | benchmark_track_types.h | 42 seL4_Word word: 26; member
|
| /seL4-master/src/arch/arm/machine/ |
| A D | gic_v3.c | 301 int word = hw_irq >> 4; in setIRQTrigger() local
307 icfgr = gic_dist->icfgrn[word]; in setIRQTrigger()
322 gic_dist->icfgrn[word] = icfgr; in setIRQTrigger()
|
| A D | debug.c | 1071 ksKernelEntry.word = fault_vaddr; in handleUserLevelDebugException()
|
| /seL4-master/src/arch/x86/32/ |
| A D | head.S | 136 .word (3 * 8) - 1 /* Limit: 3 segments * 8 bytes - 1 byte */
|
| /seL4-master/include/object/ |
| A D | structures_32.bf | 74 -- The user-visible format of the data word is defined by cnode_capdata, below.
|
| A D | structures_64.bf | 109 -- The user-visible format of the data word is defined by cnode_capdata, below.
|
| /seL4-master/libsel4/tools/ |
| A D | syscall_stub_gen.py | 758 for word in words:
759 result.append("\tresult.%s = %s;" % (param.name, word % source_words))
|
| A D | bitfield_gen.py | 1836 field_updates = {word: [] for word in range(self.multiple)}
2459 field_updates = {word: [] for word in range(self.multiple)}
|
| /seL4-master/src/arch/x86/machine/ |
| A D | breakpoint.c | 592 ksKernelEntry.word = int_vector; in handleUserLevelDebugException()
|
| /seL4-master/tools/ |
| A D | bitfield_gen.py | 1836 field_updates = {word: [] for word in range(self.multiple)}
2459 field_updates = {word: [] for word in range(self.multiple)}
|
| /seL4-master/manual/ |
| A D | Doxyfile | 35 # The PROJECT_NAME tag is a single word (or a sequence of words surrounded by
239 # This tag can be used to specify a number of word-keyword mappings (TCL only).
304 # be prevented in individual cases by putting a % sign in front of the word or
840 # output. The symbol name can be a fully qualified name, a word, or if the
|