Lines Matching defs:pa_end
1032 paddr_t pa_end;
1036 pa_end = armadaxp_sdcache_wbalign_end(va, pa, sz);
1039 if (pa_base == pa_end) {
1045 L2_WRITE(ARMADAXP_L2_INV_RANGE, pa_end);
1052 paddr_t pa_end = (pa + sz - 1) & ~ARMADAXP_L2_ALIGN;
1054 if (pa_base == pa_end)
1058 L2_WRITE(ARMADAXP_L2_WB_RANGE, pa_end);
1068 paddr_t pa_end = (pa + sz - 1) & ~ARMADAXP_L2_ALIGN;
1070 if (pa_base == pa_end)
1074 L2_WRITE(ARMADAXP_L2_WBINV_RANGE, pa_end);