Searched refs:number (Results 1 - 25 of 76) sorted by relevance

1234

/seL4-refos-master/libs/libsel4platsupport/src/arch/arm/
H A Ddevice.c20 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 Ddevice.c20 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 Dstrftime.c81 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 Dcbor64.h26 * 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 Dansi_color.h40 #define COLOR_SGR_CODE(number) COLOR_SEP #number
/seL4-refos-master/libs/libutils/include/utils/
H A Dcbor64.h26 * 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 Dansi_color.h40 #define COLOR_SGR_CODE(number) COLOR_SEP #number
/seL4-refos-master/projects/util_libs/libplatsupport/include/platsupport/
H A Dirq.h60 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 Dirq.h60 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 Dcbor64.c27 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 Dcbor64.c27 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 Dsyscall.s5 addi r12, r5, 0 # Save the system call number
/seL4-refos-master/libs/libmuslc/src/internal/powerpc/
H A Dsyscall.s5 mr 0, 3 # Save the system call number
/seL4-refos-master/libs/libmuslc/src/internal/powerpc64/
H A Dsyscall.s5 mr 0, 3 # Save the system call number
/seL4-refos-master/libs/libplatsupport/src/arch/arm/irqchip/
H A Davic.c32 ps_irq_t irq = { .type = PS_INTERRUPT, .irq = { .number = READ_CELL(1, interrupts_prop, 0) }};
H A Domap3.c37 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 Davic.c32 ps_irq_t irq = { .type = PS_INTERRUPT, .irq = { .number = READ_CELL(1, interrupts_prop, 0) }};
H A Domap3.c37 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 Dtraps.S122 #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 Dsyscall.s5 ! 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 Dirq.py18 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 Dplic.c69 .number = READ_CELL(1, interrupts_prop, i)
/seL4-refos-master/libs/libplatsupport/src/arch/riscv/irqchip/
H A Dplic.c69 .number = READ_CELL(1, interrupts_prop, i)
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/hifive/
H A Dltimer.c47 .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 Dltimer.c47 .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);

Completed in 202 milliseconds

1234