Searched defs:ipi_number (Results 1 – 2 of 2) sorted by relevance
36 u32 ipi_number; /* XIVE IPI HW number */ member