EFIAPI\r
Interrupt8259GetMask (\r
IN EFI_LEGACY_8259_PROTOCOL *This,\r
- OUT UINT16 *LegacyMask, OPTIONAL\r
- OUT UINT16 *LegacyEdgeLevel, OPTIONAL\r
- OUT UINT16 *ProtectedMask, OPTIONAL\r
+ OUT UINT16 *LegacyMask OPTIONAL,\r
+ OUT UINT16 *LegacyEdgeLevel OPTIONAL,\r
+ OUT UINT16 *ProtectedMask OPTIONAL,\r
OUT UINT16 *ProtectedEdgeLevel OPTIONAL\r
);\r
\r
EFIAPI\r
Interrupt8259SetMask (\r
IN EFI_LEGACY_8259_PROTOCOL *This,\r
- IN UINT16 *LegacyMask, OPTIONAL\r
- IN UINT16 *LegacyEdgeLevel, OPTIONAL\r
- IN UINT16 *ProtectedMask, OPTIONAL\r
+ IN UINT16 *LegacyMask OPTIONAL,\r
+ IN UINT16 *LegacyEdgeLevel OPTIONAL,\r
+ IN UINT16 *ProtectedMask OPTIONAL,\r
IN UINT16 *ProtectedEdgeLevel OPTIONAL\r
);\r
\r
Interrupt8259SetMode (\r
IN EFI_LEGACY_8259_PROTOCOL *This,\r
IN EFI_8259_MODE Mode,\r
- IN UINT16 *Mask, OPTIONAL\r
+ IN UINT16 *Mask OPTIONAL,\r
IN UINT16 *EdgeLevel OPTIONAL\r
);\r
\r