Category: vendor-specific BIOS extensions
INT 6F - HP Vectra EX-BIOS - "F_IO_CTRL SF_DISABLE_KBD" - MASK 8041 OBF INT AX = 0406h BP = 001Eh (driver ID for V_S8259) Return: AH = status (see #03744) BP,DS destroyed SeeAlso: AH=00h"HP Vectra",AX=0402h"SF_DISABLE_SVC",AX=0404h"SF_ENABLE_KBD" SeeAlso: AX=040Ah"SF_DISABLE_HPHIL"