PiDxe.h

Go to the documentation of this file.

 
#ifndef __PI_DXE_H__
#define __PI_DXE_H__
 
#include <Uefi/UefiBaseType.h>
#include <Uefi/UefiSpec.h>
 
#include <Pi/PiDxeCis.h>
 
#endif