Lines Matching refs:addr
69 static inline uint32_t readl(uint64_t addr)
71 return *((volatile uint32_t *)(addr));
74 static inline void writel(uint32_t val, uint64_t addr)
76 *((volatile uint32_t *)(addr)) = val;
81 word_t addr = PLAT_PLIC_EN_ADJUST(PLIC_EN + hart_id * PLIC_EN_PER_HART + context_id * PLIC_EN_PER_CONTEXT);
82 return addr;
88 word_t addr = PLAT_PLIC_THRES_ADJUST(PLIC_THRES + hart_id * PLIC_THRES_PER_HART + context_id * PLIC_THRES_PER_CONTEXT);
89 return addr;
94 word_t addr = plic_thres_offset(hart_id, context_id) + PLIC_THRES_CLAIM;
95 return addr;
100 word_t addr = PLIC_PPTR_BASE + PLIC_PENDING + (interrupt / 32) * 4;
102 if (readl(addr) & BIT(bit)) {
134 uint64_t addr = 0;
139 addr = PLIC_PPTR_BASE + plic_enable_offset(hart_id, PLIC_SVC_CONTEXT) + (irq / 32) * 4;
142 val = readl(addr);
148 writel(val, addr);