PIE_TO_PA
#define PIE_TO_PA(e) ((((uint32 *)(&(e)))[1]) & ~((1<<12)-1))
#define PIE_TO_PA(e) (((uint32)(e)) & ~((1<<12)-1))