TianoCore EDK2 master
Loading...
Searching...
No Matches
PiDxe.h
Go to the documentation of this file.
1
10#ifndef __PI_DXE_H__
11#define __PI_DXE_H__
12
13#include <Uefi/UefiBaseType.h>
14#include <Uefi/UefiSpec.h>
15
16#include <Pi/PiDxeCis.h>
17
18#endif