v3_vmxassist_end:
#endif
-#if V3_CONFIG_SEABIOS || V3_CONFIG_BOCHSBIOS
+#if defined(V3_CONFIG_SEABIOS) || defined(V3_CONFIG_BOCHSBIOS)
.globl v3_vgabios_start
v3_vgabios_start:
-#if V3_CONFIG_SEABIOS
+#ifdef V3_CONFIG_SEABIOS
.incbin V3_CONFIG_SEABIOSVGA_PATH
#endif
-#if V3_CONFIG_BOCHSBIOS
+#ifdef V3_CONFIG_BOCHSBIOS
.incbin V3_CONFIG_BOCHSBIOSVGA_PATH
#endif
.global v3_vgabios_end
.globl v3_rombios_start
v3_rombios_start:
-#if V3_CONFIG_SEABIOS
+#ifdef V3_CONFIG_SEABIOS
.incbin V3_CONFIG_SEABIOS_PATH
#endif
-#if V3_CONFIG_ROMBIOS
-.incbin V3_CONFIG_BOCHBIOS_PATH
+#ifdef V3_CONFIG_BOCHSBIOS
+.incbin V3_CONFIG_BOCHSBIOS_PATH
#endif
-#if V3_CONFIG_OTHERBIOS
+#ifdef V3_CONFIG_OTHERBIOS
.incbin V3_CONFIG_OTHERBIOS_PATH
#endif
.globl v3_rombios_end