Y a bien une solution crade : au lieu de mettre des pointeurs dans ta structure, tu mets des unions ( pointeur, uint_64 ), comme ça, tu es sûr que le champ fait bien 64 bits.
(par contre, tu espères réutiliser les pointeurs après ?  )