18 /* Priority Register - 32 bits per source */
54 __attribute__((always_inline)) static inline void __plic_set_priority(unsigned int source, unsigned…  in __plic_set_priority()  argument
58 …                                                       (source << PLIC_PRIORITY_SHIFT_PER_SOURCE));  in __plic_set_priority()
62 __attribute__((always_inline)) static inline void __plic_set_pending(unsigned int source)  in __plic_set_pending()  argument
66                                                                    ((source >> 5) << 2));  in __plic_set_pending()
67     *current_ptr = (1 << (source & 0x1F));  in __plic_set_pending()
70 __attribute__((always_inline)) static inline void __plic_irq_enable(unsigned int source)  in __plic_irq_enable()  argument
76                                                                    ((source >> 5) << 2));  in __plic_irq_enable()
78     current = current | (1 << (source & 0x1F));  in __plic_irq_enable()
82 __attribute__((always_inline)) static inline void __plic_irq_disable(unsigned int source)  in __plic_irq_disable()  argument
88                                                                    ((source >> 5) << 2));  in __plic_irq_disable()
90     current = current & ~((1 << (source & 0x1F)));  in __plic_irq_disable()
103 __attribute__((always_inline)) static inline void __plic_irq_complete(unsigned int source)  in __plic_irq_complete()  argument
109     *claim_addr = source;  in __plic_irq_complete()