addr_bitcount
# define addr_bitcount(bitfield) __builtin_popcount(bitfield)
addr_bitcount(uint32 bitfield)