Searched refs:cpuif_base (Results 1 – 2 of 2) sorted by relevance
300 uint32_t gicv2_interrupt_type_to_line(uint32_t cpuif_base, uint32_t type) in gicv2_interrupt_type_to_line() argument312 gicc_ctlr = gicc_read_ctlr(cpuif_base); in gicv2_interrupt_type_to_line()
317 uint32_t gicv2_interrupt_type_to_line(uint32_t cpuif_base, uint32_t type);