Searched refs:gic_init_donate_sgi_to_ns (Results 1 – 3 of 3) sorted by relevance
51 void gic_init_donate_sgi_to_ns(size_t it);
70 gic_init_donate_sgi_to_ns(it); in boot_primary_init_intc()
386 void gic_init_donate_sgi_to_ns(size_t it) in gic_init_donate_sgi_to_ns() function