Searched refs:gicd_read_igroupr (Results 1 – 4 of 4) sorted by relevance
| /external/arm-trusted-firmware/drivers/arm/gic/v2/ |
| D | gicdv2_helpers.c | 21 unsigned int gicd_read_igroupr(uintptr_t base, unsigned int id) in gicd_read_igroupr() function
249 unsigned int reg_val = gicd_read_igroupr(base, id); in gicd_get_igroupr()
257 unsigned int reg_val = gicd_read_igroupr(base, id); in gicd_set_igroupr()
265 unsigned int reg_val = gicd_read_igroupr(base, id); in gicd_clr_igroupr()
|
| /external/arm-trusted-firmware/drivers/arm/gic/common/ |
| D | gic_common.c | 23 unsigned int gicd_read_igroupr(uintptr_t base, unsigned int id) in gicd_read_igroupr() function
251 unsigned int reg_val = gicd_read_igroupr(base, id); in gicd_get_igroupr()
259 unsigned int reg_val = gicd_read_igroupr(base, id); in gicd_set_igroupr()
267 unsigned int reg_val = gicd_read_igroupr(base, id); in gicd_clr_igroupr()
|
| D | gic_common_private.h | 43 unsigned int gicd_read_igroupr(uintptr_t base, unsigned int id);
|
| /external/arm-trusted-firmware/drivers/arm/gic/v3/ |
| D | gicdv3_helpers.c | 152 unsigned int gicd_read_igroupr(uintptr_t base, unsigned int id) in gicd_read_igroupr() function
|