PDE_TO_PA
#define PDE_TO_PA(e) ((*(uint32 *)(&(e))) & ~((1<<12)-1))
#define PDE_TO_PA(e) (((uint32)(e)) & ~((1<<12)-1))