L2_S_SHIFT
const vaddr_t vpn = (vaddr_t)addr >> L2_S_SHIFT;
#define cpu_csrc_pte(o) (csrc_pte + cnptes * cpu_number() + ((o) >> L2_S_SHIFT))
#define cpu_cdst_pte(o) (cdst_pte + cnptes * cpu_number() + ((o) >> L2_S_SHIFT))
#define cpu_csrc_pte(o) (csrc_pte + ((o) >> L2_S_SHIFT))
#define cpu_cdst_pte(o) (cdst_pte + ((o) >> L2_S_SHIFT))
nptes = (arm_cache_prefer_mask >> L2_S_SHIFT) + 1;
nptes = arm_pcache.icache_way_size >> L2_S_SHIFT;
#define l2pte_index(v) ((((v) & L2_ADDR_BITS) >> PGSHIFT) << (PGSHIFT-L2_S_SHIFT))
PTE_SYNC_RANGE(vtopte(va), size >> L2_S_SHIFT);
PTE_SYNC_RANGE(vtopte(va), size >> L2_S_SHIFT);