| 1 | # SPDX-License-Identifier: GPL-2.0-or-later |
| 2 | # See docs/devel/tracing.rst for syntax documentation. |
| 3 | |
| 4 | # gicv5-cpuif.c |
| 5 | gicv5_recalc_ppi_hppi(int domain, uint32_t id, uint8_t prio) "domain %d new PPI HPPI id 0x%x prio %u" |
| 6 | gicv5_gicr_cdia_fail(int domain, const char *reason) "domain %d CDIA attempt failed: %s" |
| 7 | gicv5_gicr_cdia(int domain, uint32_t id) "domain %d CDIA acknowledge of interrupt 0x%x" |
| 8 | gicv5_cdeoi(int domain) "domain %d CDEOI performing priority drop" |
| 9 | gicv5_cddi(int domain, uint32_t id) "domain %d CDDI deactivating interrupt ID 0x%x" |
| 10 | gicv5_update_irq_fiq(bool irq, bool fiq, bool nmi) "now IRQ %d FIQ %d NMI %d" |
| 11 | gicv5_update_ppi_state(int ppi, bool level) "PPI %d source level now %d" |