bsps: Add gicv3_ppi_set_pending()

This commit is contained in:
Sebastian Huber
2022-03-14 15:44:30 +01:00
parent 518330069d
commit 2e5b1312c8
2 changed files with 11 additions and 4 deletions

View File

@@ -166,6 +166,16 @@ static inline bool gicv3_sgi_ppi_is_pending(
return (sgi_ppi->icspispendr[0] & (1U << vector)) != 0;
}
static inline void gicv3_ppi_set_pending(
rtems_vector_number vector,
uint32_t cpu_index
)
{
volatile gic_sgi_ppi *sgi_ppi = gicv3_get_sgi_ppi(cpu_index);
sgi_ppi->icspispendr[0] = 1U << vector;
}
static inline void gicv3_trigger_sgi(
rtems_vector_number vector,
uint32_t targets