//\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
PciWrite8 (Pam1Address, Pam1 | (BIT1 | BIT0));\r
\r
//\r
- // We never added memory space durig PEI or DXE for the C segment, so we\r
+ // We never added memory space during PEI or DXE for the C segment, so we\r
// don't need to (and can't) allocate from there. Also, guest operating\r
// systems will see a hole in the UEFI memory map there.\r
//\r