Searched refs:get_gicd_base (Results 1 – 3 of 3) sorted by relevance
46 vaddr_t get_gicd_base(void);
454 vaddr_t get_gicd_base(void) in get_gicd_base() function
129 io_write32(get_gicd_base() + GICD_SGIR, in raise_sgi0_as_secure()