Home | History | Annotate | Download | only in bios

Lines Matching refs:gsi

1522 	uint32_t               gsi;     /* GSI that source will signal */
1816         int_override->gsi = cpu_to_le32(2);