TianoCore EDK2 master
Loading...
Searching...
No Matches
PlDebugSupport.h
Go to the documentation of this file.
1
9#ifndef _PLDEBUG_SUPPORT_H_
10#define _PLDEBUG_SUPPORT_H_
11
12#include "Ia32/DebugSupport.h"
13
14#define EFI_ISA IsaX64
15
16#endif