DPTUN_INFO_REG_MASK
DPTUN_INFO_REG_MASK & -1UL,
DPTUN_INFO_REG_MASK >> 32,
u8 buf[HWEIGHT64(DPTUN_INFO_REG_MASK)];