/seL4-refos-master/libs/libsel4platsupport/src/arch/arm/ |
H A D | device.c | 20 return arch_simple_get_IRQ_trigger(arch_simple, irq->trigger.number, irq->trigger.trigger, *dest); 22 return arch_simple_get_IRQ_trigger_cpu(arch_simple, irq->cpu.number, irq->cpu.trigger, irq->cpu.cpu_idx, *dest);
|
/seL4-refos-master/projects/seL4_libs/libsel4platsupport/src/arch/arm/ |
H A D | device.c | 20 return arch_simple_get_IRQ_trigger(arch_simple, irq->trigger.number, irq->trigger.trigger, *dest); 22 return arch_simple_get_IRQ_trigger_cpu(arch_simple, irq->cpu.number, irq->cpu.trigger, irq->cpu.cpu_idx, *dest);
|
/seL4-refos-master/libs/libmuslc/src/time/ |
H A D | strftime.c | 81 goto number; 84 goto number; 101 goto number; 104 goto number; 109 goto number; 113 goto number; 116 goto number; 119 goto number; 135 goto number; 138 goto number; [all...] |
/seL4-refos-master/projects/util_libs/libutils/include/utils/ |
H A D | cbor64.h | 26 * number of actual bytes that must be written to the output. 150 int cbor64_send_item(base64_t *streamer, cbor64_mt_t type, uint64_t number); 210 static inline int cbor64_uint(base64_t *streamer, uint64_t number) argument 212 return cbor64_send_item(streamer, CBOR64_MT_UNSIGNED_INT, number); 216 static inline int cbor64_int(base64_t *streamer, int64_t number) argument 219 if (number < 0) { 221 number = (-1) - number; 224 return cbor64_send_item(streamer, type, number); 233 int cbor64_float(base64_t *streamer, float number); [all...] |
H A D | ansi_color.h | 40 #define COLOR_SGR_CODE(number) COLOR_SEP #number
|
/seL4-refos-master/libs/libutils/include/utils/ |
H A D | cbor64.h | 26 * number of actual bytes that must be written to the output. 150 int cbor64_send_item(base64_t *streamer, cbor64_mt_t type, uint64_t number); 210 static inline int cbor64_uint(base64_t *streamer, uint64_t number) argument 212 return cbor64_send_item(streamer, CBOR64_MT_UNSIGNED_INT, number); 216 static inline int cbor64_int(base64_t *streamer, int64_t number) argument 219 if (number < 0) { 221 number = (-1) - number; 224 return cbor64_send_item(streamer, type, number); 233 int cbor64_float(base64_t *streamer, float number); [all...] |
H A D | ansi_color.h | 40 #define COLOR_SGR_CODE(number) COLOR_SEP #number
|
/seL4-refos-master/projects/util_libs/libplatsupport/include/platsupport/ |
H A D | irq.h | 60 long number; member in struct:__anon11::__anon12::__anon15 63 long number; member in struct:__anon11::__anon12::__anon16 67 long number; member in struct:__anon11::__anon12::__anon17
|
/seL4-refos-master/libs/libplatsupport/include/platsupport/ |
H A D | irq.h | 60 long number; member in struct:__anon1::__anon2::__anon5 63 long number; member in struct:__anon1::__anon2::__anon6 67 long number; member in struct:__anon1::__anon2::__anon7
|
/seL4-refos-master/projects/util_libs/libutils/src/ |
H A D | cbor64.c | 27 int cbor64_send_item(base64_t *streamer, cbor64_mt_t type, uint64_t number) argument 32 if (number < CBOR64_AI_INT_LITERAL_MAX) { 33 /* Encode number in item byte */ 34 additional_info = number; 36 } else if (number < LLBIT(8)) { 37 /* Encode number as uint8_t */ 40 } else if (number < LLBIT(16)) { 41 /* Encode number as uint16_t */ 44 } else if (number < LLBIT(32)) { 45 /* Encode number a 121 cbor64_float(base64_t *streamer, float number) argument 131 cbor64_double(base64_t *streamer, double number) argument [all...] |
/seL4-refos-master/libs/libutils/src/ |
H A D | cbor64.c | 27 int cbor64_send_item(base64_t *streamer, cbor64_mt_t type, uint64_t number) argument 32 if (number < CBOR64_AI_INT_LITERAL_MAX) { 33 /* Encode number in item byte */ 34 additional_info = number; 36 } else if (number < LLBIT(8)) { 37 /* Encode number as uint8_t */ 40 } else if (number < LLBIT(16)) { 41 /* Encode number as uint16_t */ 44 } else if (number < LLBIT(32)) { 45 /* Encode number a 121 cbor64_float(base64_t *streamer, float number) argument 131 cbor64_double(base64_t *streamer, double number) argument [all...] |
/seL4-refos-master/libs/libmuslc/src/internal/microblaze/ |
H A D | syscall.s | 5 addi r12, r5, 0 # Save the system call number
|
/seL4-refos-master/libs/libmuslc/src/internal/powerpc/ |
H A D | syscall.s | 5 mr 0, 3 # Save the system call number
|
/seL4-refos-master/libs/libmuslc/src/internal/powerpc64/ |
H A D | syscall.s | 5 mr 0, 3 # Save the system call number
|
/seL4-refos-master/libs/libplatsupport/src/arch/arm/irqchip/ |
H A D | avic.c | 32 ps_irq_t irq = { .type = PS_INTERRUPT, .irq = { .number = READ_CELL(1, interrupts_prop, 0) }};
|
H A D | omap3.c | 37 ps_irq_t irq = { .type = PS_INTERRUPT, .irq = { .number = READ_CELL(1, interrupts_prop, 0) }};
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/arch/arm/irqchip/ |
H A D | avic.c | 32 ps_irq_t irq = { .type = PS_INTERRUPT, .irq = { .number = READ_CELL(1, interrupts_prop, 0) }};
|
H A D | omap3.c | 37 ps_irq_t irq = { .type = PS_INTERRUPT, .irq = { .number = READ_CELL(1, interrupts_prop, 0) }};
|
/seL4-refos-master/kernel/src/arch/x86/64/ |
H A D | traps.S | 122 #define EXPAND_EXCEPT_1(number) \ 126 movq $0x##number, %rcx; \ 132 #define EXPAND_EXCEPT_0(number) \ 144 movq $0x##number, %rcx; \ 147 #define INT_HANDLE_COMMON_EXCEPT(number,except) _expand_except_(except)(number) 150 #define INT_HANDLER_COMMON(number,error_code,except) \ 151 .global int_##number; \ 152 .type int_##number, %function; \ 153 int_##number [all...] |
/seL4-refos-master/libs/libmuslc/src/internal/sh/ |
H A D | syscall.s | 5 ! The kernel syscall entry point documents that the trap number indicates 6 ! the number of arguments being passed, but it then ignores that information.
|
/seL4-refos-master/kernel/tools/hardware/ |
H A D | irq.py | 18 its number. ''' 20 # pop the right number of irq cells 124 # second cell: PPI or SPI number 130 number = data.pop(0) 136 number += 16 # SGI takes 0-15 138 number += 16 # PPI is 16-31 147 return number
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/arch/riscv/irqchip/ |
H A D | plic.c | 69 .number = READ_CELL(1, interrupts_prop, i)
|
/seL4-refos-master/libs/libplatsupport/src/arch/riscv/irqchip/ |
H A D | plic.c | 69 .number = READ_CELL(1, interrupts_prop, i)
|
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/hifive/ |
H A D | ltimer.c | 47 .irq.number = PWM0_INTERRUPT0 52 .irq.number = PWM1_INTERRUPT0 101 long irq_number = irq->irq.number; 104 pwm_handle_irq(&timers->pwm_ltimers[COUNTER_TIMER].pwm, irq->irq.number); 107 pwm_handle_irq(&timers->pwm_ltimers[TIMEOUT_TIMER].pwm, irq->irq.number); 110 ZF_LOGE("Invalid IRQ number: %d received.\n", irq_number);
|
/seL4-refos-master/libs/libplatsupport/src/plat/hifive/ |
H A D | ltimer.c | 47 .irq.number = PWM0_INTERRUPT0 52 .irq.number = PWM1_INTERRUPT0 101 long irq_number = irq->irq.number; 104 pwm_handle_irq(&timers->pwm_ltimers[COUNTER_TIMER].pwm, irq->irq.number); 107 pwm_handle_irq(&timers->pwm_ltimers[TIMEOUT_TIMER].pwm, irq->irq.number); 110 ZF_LOGE("Invalid IRQ number: %d received.\n", irq_number);
|