#define PG_ALIGNED(addr) (!((ptr_t)(addr)&0x00000FFFUL))
#define L1_INDEX(vaddr) (u32_t)(((ptr_t)(vaddr)&0xFFC00000UL) >> 22)
#define PG_ALIGNED(addr) (!((ptr_t)(addr)&0x00000FFFUL))
#define L1_INDEX(vaddr) (u32_t)(((ptr_t)(vaddr)&0xFFC00000UL) >> 22)