plat_interrupts_send_sgi (reference) in projects: hafnium-2.8-rc0

Searched refs:plat_interrupts_send_sgi (Results 1 – 4 of 4) sorted by relevance

/hafnium-2.8-rc0/inc/hf/plat/
A D	interrupts.h	`32 void plat_interrupts_send_sgi(uint32_t id, struct cpu *cpu,`
/hafnium-2.8-rc0/src/arch/aarch64/plat/interrupts/
A D	absent.c	`78 void plat_interrupts_send_sgi(uint32_t id, struct cpu *cpu, in plat_interrupts_send_sgi() function`
A D	gicv3.c	`674 void plat_interrupts_send_sgi(uint32_t id, struct cpu *cpu, in plat_interrupts_send_sgi() function`
/hafnium-2.8-rc0/src/arch/aarch64/plat/ffa/
A D	spmc.c	`1775 plat_interrupts_send_sgi(HF_SCHEDULE_RECEIVER_INTID, cpu, false); in plat_ffa_send_schedule_receiver_interrupt()`

Completed in 8 milliseconds