Searched refs:EFI_PS2_INIT_HARDWARE (Results 1 – 2 of 2) sorted by relevance
30 (EFIAPI *EFI_PS2_INIT_HARDWARE) ( typedef36 EFI_PS2_INIT_HARDWARE Ps2InitHardware;
39 (EFIAPI *EFI_PS2_INIT_HARDWARE) ( typedef45 EFI_PS2_INIT_HARDWARE Ps2InitHardware;