Home
last modified time | relevance | path

Searched refs:plic_data (Results 1 – 1 of 1) sorted by relevance

/optee_os/core/drivers/
H A Dplic.c55 struct plic_data { struct
61 static struct plic_data plic_data __nex_bss; argument
80 plic_is_pending(struct plic_data *pd, uint32_t source) in plic_is_pending()
86 static void plic_set_pending(struct plic_data *pd, uint32_t source) in plic_set_pending()
91 static void plic_enable_interrupt(struct plic_data *pd, uint32_t source) in plic_enable_interrupt()
100 plic_get_interrupt_enable(struct plic_data *pd, uint32_t source) in plic_get_interrupt_enable()
108 static void plic_disable_interrupt(struct plic_data *pd, uint32_t source) in plic_disable_interrupt()
116 static uint32_t __maybe_unused plic_get_threshold(struct plic_data *pd) in plic_get_threshold()
123 static void plic_set_threshold(struct plic_data *pd, uint32_t threshold) in plic_set_threshold()
131 plic_get_priority(struct plic_data *pd, uint32_t source) in plic_get_priority()
[all …]