//\r
Handler = (Int0x10->Segment << 4) + Int0x10->Offset;\r
if (Handler >= SegmentC && Handler < SegmentF) {\r
- DEBUG ((EFI_D_VERBOSE, "%a: Video BIOS handler found at %04x:%04x\n",\r
+ DEBUG ((EFI_D_INFO, "%a: Video BIOS handler found at %04x:%04x\n",\r
__FUNCTION__, Int0x10->Segment, Int0x10->Offset));\r
return;\r
}\r
// Otherwise we'll overwrite the Int10h vector, even though we may not own\r
// the page at zero.\r
//\r
- DEBUG ((EFI_D_VERBOSE, "%a: failed to allocate page at zero: %r\n",\r
+ DEBUG ((EFI_D_INFO, "%a: failed to allocate page at zero: %r\n",\r
__FUNCTION__, Status));\r
} else {\r
//\r