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