|
|
@@ -25,12 +25,8 @@ FILE_LICENCE ( GPL2_OR_LATER )
|
|
25
|
25
|
( PMM_HANDLE_BASE | 0x00002000 )
|
|
26
|
26
|
#define PCI_FUNC_MASK 0x07
|
|
27
|
27
|
|
|
28
|
|
-/* ROM banner timeout. Based on the configurable BANNER_TIMEOUT in
|
|
29
|
|
- * config.h, but converted to a number of (18Hz) timer ticks, and
|
|
30
|
|
- * doubled to allow for BIOSes that switch video modes immediately
|
|
31
|
|
- * beforehand, so rendering the message almost invisible to the user.
|
|
32
|
|
- */
|
|
33
|
|
-#define ROM_BANNER_TIMEOUT ( 2 * ( 18 * BANNER_TIMEOUT ) / 10 )
|
|
|
28
|
+/* ROM banner timeout, converted to a number of (18Hz) timer ticks. */
|
|
|
29
|
+#define ROM_BANNER_TIMEOUT_TICKS ( ( 18 * ROM_BANNER_TIMEOUT ) / 10 )
|
|
34
|
30
|
|
|
35
|
31
|
/* Allow payload to be excluded from ROM size
|
|
36
|
32
|
*/
|
|
|
@@ -791,7 +787,7 @@ wait_for_key:
|
|
791
|
787
|
int $0x16
|
|
792
|
788
|
jmp 1b
|
|
793
|
789
|
2: /* Wait for a key press */
|
|
794
|
|
- movw $ROM_BANNER_TIMEOUT, %cx
|
|
|
790
|
+ movw $ROM_BANNER_TIMEOUT_TICKS, %cx
|
|
795
|
791
|
3: decw %cx
|
|
796
|
792
|
js 99f /* Exit with ZF clear */
|
|
797
|
793
|
/* Wait for timer tick to be updated */
|