diff --git a/src/include/86box/keyboard.h b/src/include/86box/keyboard.h
index 9142fbfe1..e495cb0df 100644
--- a/src/include/86box/keyboard.h
+++ b/src/include/86box/keyboard.h
@@ -245,6 +245,7 @@ extern const device_t keyboard_ps2_ps1_device;
 extern const device_t keyboard_ps2_ps1_pci_device;
 extern const device_t keyboard_ps2_xi8088_device;
 extern const device_t keyboard_ps2_ami_device;
+extern const device_t keyboard_ps2_compaq_device;
 extern const device_t keyboard_ps2_holtek_device;
 extern const device_t keyboard_ps2_mca_1_device;
 extern const device_t keyboard_ps2_mca_2_device;
@@ -258,6 +259,7 @@ extern const device_t keyboard_ps2_ami_pci_device;
 extern const device_t keyboard_ps2_intel_ami_pci_device;
 extern const device_t keyboard_ps2_acer_pci_device;
 extern const device_t keyboard_ps2_ali_pci_device;
+extern const device_t keyboard_ps2_phoenix_pci_device;
 extern const device_t keyboard_ps2_tg_ami_pci_device;
 
 extern const device_t keyboard_at_generic_device;
@@ -284,6 +286,7 @@ extern int      keyboard_isfsexit_up(void);
 extern int      keyboard_ismsexit(void);
 extern void     keyboard_set_is_amstrad(int ams);
 extern void     kbc_at_set_ps2(void *priv, uint8_t ps2);
+extern void     kbc_at_write_p(void *priv, uint8_t port, uint8_t mask, uint8_t val);
 
 extern void         kbc_at_set_fast_reset(uint8_t new_fast_reset);
 extern void         kbc_at_handler(int set, void *priv);