Searched refs:lspi (Results 1 - 1 of 1) sorted by relevance
/barrelfish-master/kernel/arch/arm/ | ||
H A D | gic_v2.c | 176 uint32_t lspi = gic_v3_dist_GICD_TYPER_LSPI_rdf(&gic_v3_dev); local 177 printk(LOG_NOTE, "gic_v2: #LSPIs supported: %" PRIu32 "\n", lspi); |
Completed in 81 milliseconds