/* Set the frame address of the graphics layer. */
STATIC VOID LayerGraphicsSetFrame(IN CONST EFI_PHYSICAL_ADDRESS FrameBaseAddress)
/* Set the frame address of the graphics layer. */
STATIC VOID LayerGraphicsSetFrame(IN CONST EFI_PHYSICAL_ADDRESS FrameBaseAddress)
{
  LayerGraphicsDisable ();
  MmioWrite32 (
    DP_BASE + DP_DE_LG_PTR_LOW,
    DP_DE_LG_PTR_LOW_MASK & FrameBaseAddress
    );
  MmioWrite32 (
    DP_BASE + DP_DE_LG_PTR_HIGH,
    (UINT32)(FrameBaseAddress >> DP_DE_LG_PTR_HIGH_SHIFT)
    );
  LayerGraphicsEnable ();
}