Searched refs:imsic_init (Results 1 – 3 of 3) sorted by relevance
50 void imsic_init(paddr_t imsic_base_pa);
59 imsic_init(IMSIC_BASE); in boot_primary_init_intc()
376 void imsic_init(paddr_t imsic_base_pa) in imsic_init() function