Searched refs:int_id (Results 1 - 6 of 6) sorted by relevance
| /barrelfish-master/kernel/arch/arm/ |
| H A D | gic.c | 53 static enum IrqType get_irq_type(uint32_t int_id) argument
55 if (int_id < 16) {
57 } else if (int_id < 32) {
163 * \param int_id
170 errval_t platform_enable_interrupt(uint32_t int_id, uint16_t prio, argument
174 uint32_t ind = int_id / 32;
175 uint32_t bit_mask = (1U << (int_id % 32));
179 int_id, bit_mask, ind);
181 enum IrqType irq_type = get_irq_type(int_id);
199 ind = int_id/
[all...] |
| H A D | gic_v3.c | 162 * \param int_id
171 errval_t platform_enable_interrupt(uint32_t int_id, uint16_t prio, argument
174 if(int_id<32) {
175 gic_v3_redist_GICR_ISENABLER0_wr(&gic_v3_redist_dev, 1<<int_id );
178 gic_v3_dist_GICD_ISENABLER_wr(&gic_v3_dist_dev, int_id/32,
179 1<<(int_id % 32));
|
| H A D | gic_v2.c | 222 * \param int_id
231 errval_t platform_enable_interrupt(uint32_t int_id, uint16_t prio, argument
|
| /barrelfish-master/usr/drivers/pl390_dist/ |
| H A D | main.c | 45 static enum IrqType get_irq_type(uint32_t int_id) argument
47 if (int_id < 16) {
49 } else if (int_id < 32) {
96 * \param int_id
105 static errval_t enable_interrupt(struct pl390_dist_driver_state *ds, int int_id, argument
113 PL390_DEBUG("enable int=%d forwarding to cpu_mask=%d\n", int_id, cpu_targets);
114 uint32_t ind = int_id / 32;
115 uint32_t bit_mask = (1U << (int_id % 32));
116 enum IrqType irq_type = get_irq_type(int_id);
119 if(!(irq_type == IrqType_SPI && int_id <
[all...] |
| /barrelfish-master/kernel/include/arch/arm/ |
| H A D | platform.h | 87 errval_t platform_enable_interrupt(uint32_t int_id, uint16_t prio,
|
| /barrelfish-master/kernel/arch/armv8/ |
| H A D | plat_rpi3.c | 147 errval_t platform_enable_interrupt(uint32_t int_id, uint16_t prio, argument
|
Completed in 112 milliseconds