ALIGN_PTR_UP
int *plain_ptr = ALIGN_PTR_UP(plain_ptr_unaligned, PAGE_SIZE);
p1 = ALIGN_PTR_UP(&lots_o_noops_around_write, PAGE_SIZE);
ptr = ALIGN_PTR_UP(ptr, HPAGE_SIZE);
addr = ALIGN_PTR_UP(raddr, map_align);