__is_aligned
if (__is_aligned(size, ISIZE) && __is_aligned(base, ISIZE))
if (!__is_aligned(tf_addr, _Alignof(struct trapframe)) ||
if (!__is_aligned(frame, _Alignof(struct amd64_frame)) ||
KASSERT(__is_aligned(td->td_md.md_usr_fpu_save, XSAVE_AREA_ALIGN),
if (!__is_aligned(vsp, sizeof(register_t)))
if (!__is_aligned(vsp, sizeof(register_t)))
if (!__is_aligned(vsp, sizeof(register_t)))
if (!__is_aligned(va, dcache_line_size))
if (!__is_aligned(va + size, dcache_line_size))
if (!__is_aligned(tf, _Alignof(struct trapframe)) ||
if (!__is_aligned(addr,
if (!__is_aligned(fp, sizeof(fp)) ||
if (!__is_aligned(descr->v3_regs.dist_start, PAGE_SIZE_64K) ||
!__is_aligned(descr->v3_regs.redist_start, PAGE_SIZE_64K) ||
!__is_aligned(descr->v3_regs.redist_size,
if (!__is_aligned(uaddr, sizeof(uint32_t)))
#define PAGE_ALIGNED(p) __is_aligned(p, PAGE_SIZE)
KASSERT(__is_aligned(p, XSAVE_AREA_ALIGN),
if (!__is_aligned(tf, _Alignof(struct trapframe)) ||
if (!__is_aligned(fp, sizeof(fp)) ||
if (!__is_aligned(addr, pointer_size)) {