Searched refs:clint_ipi_base (Results 1 – 1 of 1) sorted by relevance
36 static u32 __iomem *clint_ipi_base; variable51 writel(1, clint_ipi_base + cpuid_to_hartid_map(cpu)); in clint_send_ipi()56 writel(0, clint_ipi_base + cpuid_to_hartid_map(smp_processor_id())); in clint_clear_ipi()215 clint_ipi_base = base + CLINT_IPI_OFF; in clint_timer_init_dt()