Searched refs:write_gicreg (Results 1 – 2 of 2) sorted by relevance
| /components/drivers/pic/ |
| A D | pic-gicv3.c | 419 write_gicreg(ICC_SRE_SYS, value); in gicv3_cpu_init()
422 write_gicreg(ICC_PMR_SYS, 0xff); in gicv3_cpu_init()
425 write_gicreg(ICC_IGRPEN1_SYS, 1); in gicv3_cpu_init()
427 write_gicreg(ICC_BPR1_SYS, 0); in gicv3_cpu_init()
439 write_gicreg(ICC_CTLR_SYS, value); in gicv3_cpu_init()
454 write_gicreg(ICC_EOIR1_SYS, pirq->hwirq); in gicv3_irq_ack()
490 write_gicreg(ICC_EOIR1_SYS, hwirq); in gicv3_irq_eoi()
495 write_gicreg(ICC_DIR_SYS, hwirq); in gicv3_irq_eoi()
610 write_gicreg(ICC_SGI1R_SYS, in gicv3_irq_send_ipi()
|
| A D | pic-gicv3.h | 321 #define write_gicreg(reg, in) rt_hw_sysreg_write(reg, in) macro
|
Completed in 7 milliseconds