regs.eax = I8K_SMM_BIOS_VERSION; if ((rc=i8k_smm(&regs)) < 0) { return rc; } 
regs.eax = I8K_SMM_BIOS_VERSION; if ((rc = i8k_smm(&regs)) < 0) { return rc; } 
static int i8k_get_bios_version(void){    SMMRegisters regs = { 0, 0, 0, 0, 0, 0 };    int rc;    regs.eax = I8K_SMM_BIOS_VERSION;    if ((rc=i8k_smm(&regs)) < 0) {	return rc;    }    return regs.eax;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/dec63ec32ea486ab915138e8790084c22a3f7bf6/i8k.c/clean/drivers/char/i8k.c