#define ALIGN_VALUE_UP(Value, Alignment) (((Value) + (Alignment) - 1) & (~((Alignment) - 1)))\r
#define ALIGN_VALUE_LOW(Value, Alignment) ((Value) & (~((Alignment) - 1)))\r
\r
+#define VTD_TPL_LEVEL TPL_NOTIFY\r
+\r
//\r
// This is the initial max PCI DATA number.\r
// The number may be enlarged later.\r