Searched refs:save_irq_vectors (Results 1 – 1 of 1) sorted by relevance
95 static inline void save_irq_vectors(uint32_t *src, uint32_t *dst) in save_irq_vectors() function132 save_irq_vectors((uint32_t *)(4 * 0x8), oldirq); in sirq_install()133 save_irq_vectors((uint32_t *)(4 * 0x70), &oldirq[8]); in sirq_install()