/* Read the bios version. Return the version as an integer corresponding to the ascii value, for example "A17" is returned as 0x00413137.  */
static int i8k_get_bios_version(void)
/* Read the bios version. Return the version as an integer corresponding to the ascii value, for example "A17" is returned as 0x00413137.  */
static int i8k_get_bios_version(void)
{
	struct smm_regs regs = { .eax = I8K_SMM_BIOS_VERSION, };
	return i8k_smm(&regs) ? : regs.eax;
}