check_vmi_rom     672 arch/x86/kernel/vmi_32.c 		if (check_vmi_rom(romstart)) {
check_vmi_rom     968 arch/x86/kernel/vmi_32.c 		check_vmi_rom(vmi_rom);