Searched refs:logged_ipi_t (Results 1 – 1 of 1) sorted by relevance
444 } logged_ipi_t; typedef445 static logged_ipi_t logged_ipis[MAX_LOGGED_IPIS];