Lines Matching refs:TARGET_PAGE_ALIGN
281 TARGET_PAGE_ALIGN(endaddr),
322 TARGET_PAGE_ALIGN(addr + len),
1890 end = TARGET_PAGE_ALIGN(end);
2223 end = TARGET_PAGE_ALIGN(end);
2253 end = TARGET_PAGE_ALIGN(start+len); /* must do before we loose bits in the next step */
2524 size = TARGET_PAGE_ALIGN(size);
