Searched refs:curr (Results 1 - 7 of 7) sorted by relevance

/seL4-test-master/projects/util_libs/libplatsupport/src/arch/arm/irqchip/
H A Dgic.c56 const void *curr = interrupts_prop + (i * stride * sizeof(uint32_t)); local
61 if (READ_CELL(1, curr, EXT_INT_CONTROLLER_OFFSET) != intr_controller_phandle) {
66 irq_type = READ_CELL(1, curr, EXT_INT_TYPE_OFFSET);
67 irq = READ_CELL(1, curr, EXT_INT_OFFSET);
69 irq_type = READ_CELL(1, curr, INT_TYPE_OFFSET);
70 irq = READ_CELL(1, curr, INT_OFFSET);
H A Dgicv3.c90 const void *curr = interrupts_prop + (i * stride * sizeof(uint32_t)); local
97 if (READ_CELL(1, curr, EXT_INT_CONTROLLER_OFFSET) != intr_controller_phandle) {
102 irq_type = READ_CELL(1, curr, EXT_INT_TYPE_OFFSET);
103 irq = READ_CELL(1, curr, EXT_INT_OFFSET);
104 irq_flag = READ_CELL(1, curr, EXT_INT_FLAG_OFFSET);
106 irq_core_affinity_phandle = READ_CELL(1, curr, EXT_INT_AFFINITY_OFFSET);
109 irq_type = READ_CELL(1, curr, INT_TYPE_OFFSET);
110 irq = READ_CELL(1, curr, INT_OFFSET);
111 irq_flag = READ_CELL(1, curr, INT_FLAG_OFFSET);
113 irq_core_affinity_phandle = READ_CELL(1, curr, INT_AFFINITY_OFFSE
[all...]
/seL4-test-master/kernel/include/api/
H A Ddebug.h130 for (tcb_t *curr = NODE_STATE(ksDebugTCBs); curr != NULL; curr = TCB_PTR_DEBUG_PTR(curr)->tcbDebugNext) {
131 debug_printTCB(curr);
/seL4-test-master/kernel/src/machine/
H A Dcapdl.c369 for (tcb_t *curr = NODE_STATE(ksDebugTCBs); curr != NULL; curr = TCB_PTR_DEBUG_PTR(curr)->tcbDebugNext) {
370 if (root_or_idle_tcb(curr)) {
374 obj_tcb_print_vtable(curr);
377 for (tcb_t *curr = NODE_STATE(ksDebugTCBs); curr != NULL; curr = TCB_PTR_DEBUG_PTR(curr)
[all...]
/seL4-test-master/kernel/src/api/
H A Dsyscall.c283 for (tcb_t *curr = NODE_STATE(ksDebugTCBs); curr != NULL; curr = TCB_PTR_DEBUG_PTR(curr)->tcbDebugNext) {
285 printf(" \"NAME\":\"%s\",\n", TCB_PTR_DEBUG_PTR(curr)->tcbName);
286 printf(" \"UTILISATION\":%lu,\n", (word_t) curr->benchmark.utilisation);
287 printf(" \"NUMBER_SCHEDULES\":%lu,\n", (word_t) curr->benchmark.number_schedules);
288 printf(" \"KERNEL_UTILISATION\":%lu,\n", (word_t) curr->benchmark.kernel_utilisation);
289 printf(" \"NUMBER_KERNEL_ENTRIES\":%lu\n", (word_t) curr->benchmark.number_kernel_entries);
291 if (TCB_PTR_DEBUG_PTR(curr)
[all...]
/seL4-test-master/projects/util_libs/libplatsupport/src/
H A Dfdt.c133 const void *curr = reg_prop + (i * stride * sizeof(uint32_t)); local
135 curr_pmem.base_addr = READ_CELL(num_address_cells, curr, 0);
136 curr_pmem.length = READ_CELL(num_size_cells, curr, num_address_cells);
/seL4-test-master/projects/seL4_libs/libsel4serialserver/src/
H A Dserver.c402 serial_server_registry_entry_t *curr = &get_serial_server()->registry[i]; local
404 if (curr->badge_value == SERIAL_SERVER_BADGE_VALUE_EMPTY
405 || BYTES_TO_4K_PAGES(curr->shmem_size) == 0) {

Completed in 152 milliseconds