DxeDebugAgentLib.h

Go to the documentation of this file.

 
#ifndef _DXE_CORE_DEBUG_AGENT_LIB_H_
#define _DXE_CORE_DEBUG_AGENT_LIB_H_
 
#include <PiDxe.h>
 
#include <Protocol/SerialIo.h>
#include <Protocol/DevicePath.h>
#include <Protocol/PiPcd.h>
 
#include <Library/UefiBootServicesTableLib.h>
#include <Library/UefiLib.h>
#include <Library/DevicePathLib.h>
#include <Library/MemoryAllocationLib.h>
 
#include "DebugAgent.h"
 
VOID
InstallSerialIo (
  VOID
  );
 
#endif