Searched refs:I8259_OCW3 (Results 1 – 3 of 3) sorted by relevance
580 I8259_OCW3 Ocw3; in _HalpDismissIrqGeneric()648 I8259_OCW3 Ocw3; in HalpDismissIrq15()712 I8259_OCW3 Ocw3; in HalpDismissIrq07()763 I8259_OCW3 Ocw3; in _HalpDismissIrqLevel()830 I8259_OCW3 Ocw3; in HalpDismissIrq15Level()894 I8259_OCW3 Ocw3; in HalpDismissIrq07Level()
167 } I8259_OCW3, *PI8259_OCW3; typedef
307 } I8259_OCW3, *PI8259_OCW3; typedef