%include "Ia32/SearchForSecEntry.asm"\r
\r
%ifdef ARCH_X64\r
+ #include <AutoGen.h>\r
+\r
+ %if (FixedPcdGet32 (PcdOvmfSecPageTablesSize) != 0x6000)\r
+ %error "This implementation inherently depends on PcdOvmfSecPageTablesSize"\r
+ %endif\r
+\r
+ %define PT_ADDR(Offset) (FixedPcdGet32 (PcdOvmfSecPageTablesBase) + (Offset))\r
%include "Ia32/Flat32ToFlat64.asm"\r
%include "Ia32/PageTables64.asm"\r
%endif\r