View | Details | Raw Unified | Return to bug 230172
Collapse All | Expand All

(-)b/sys/dev/vt/hw/vga/vt_vga.c (-2 / +5 lines)
Lines 1260-1266 vga_acpi_disabled(void) Link Here
1260 
	uint16_t flags;
 1260 
	uint16_t flags;
1261 
	int ignore;
 1261 
	int ignore;
1262 

          1262
          

        

          
            

              1263
              
	ignore = 0;


              1263
              
	/*

            

            

              
              

              1264
              
	 * Ignore the flag on real hardware: there's a lot of buggy firmware

            

            


              1265
              
	 * that will wrongly set it.

            

            


              1266
              
	 */

            

            


              1267
              
	ignore = vm_guest == VM_GUEST_NO;

            

        

          1264
          
	TUNABLE_INT_FETCH("hw.vga.acpi_ignore_no_vga", &ignore);

          1268
          
	TUNABLE_INT_FETCH("hw.vga.acpi_ignore_no_vga", &ignore);

        

        

          1265
          
	if (ignore || !acpi_get_fadt_bootflags(&flags))

          1269
          
	if (ignore || !acpi_get_fadt_bootflags(&flags))

        

        

          1266
          
 		return (false);

          1270
          
 		return (false);

        

            

              1267
              
- 

              
              
            






  

  Return to bug 230172