pointers and machine words (but only when compiling with 64 bit
registers and 32 bit pointers). */
static inline __attribute__ ((always_inline)) uword
pointers and machine words (but only when compiling with 64 bit
registers and 32 bit pointers). */
static inline __attribute__ ((always_inline)) uword