Searched refs:plic_base (Results 1 – 1 of 1) sorted by relevance
| /optee_os/core/drivers/ |
| H A D | plic.c | 56 vaddr_t plic_base; member
82 return io_read32(PLIC_PENDING(pd->plic_base, source)) & in plic_is_pending()
88 io_setbits32(PLIC_PENDING(pd->plic_base, source), BIT(source % 32)); in plic_set_pending()
95 io_setbits32(PLIC_ENABLE(pd->plic_base, source, context), in plic_enable_interrupt()
104 return io_read32(PLIC_ENABLE(pd->plic_base, source, context)) & in plic_get_interrupt_enable()
112 io_clrbits32(PLIC_ENABLE(pd->plic_base, source, context), in plic_disable_interrupt()
120 return io_read32(PLIC_THRESHOLD(pd->plic_base, context)); in plic_get_threshold()
127 io_write32(PLIC_THRESHOLD(pd->plic_base, context), threshold); in plic_set_threshold()
133 return io_read32(PLIC_PRIORITY(pd->plic_base, source)); in plic_get_priority()
139 io_write32(PLIC_PRIORITY(pd->plic_base, source), priority); in plic_set_priority()
[all …]
|