Searched refs:curr (Results 1 - 7 of 7) sorted by relevance
/seL4-test-master/projects/util_libs/libplatsupport/src/arch/arm/irqchip/ |
H A D | gic.c | 56 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 D | gicv3.c | 90 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 D | debug.h | 130 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 D | capdl.c | 369 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 D | syscall.c | 283 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 D | fdt.c | 133 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 D | server.c | 402 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