@@ -9,7 +9,7 @@
#ifndef __XTDK_AMD64_MMTYPES_H
#define __XTDK_AMD64_MMTYPES_H
#include "xtcommon.h"
#include "xtbase.h"
/* Page Table entry structure definition */
The note is not visible to the blocked user.