/** DONT_TRANSLATE */ BOOT_CODE static uint32_t boot_clz (uint32_t x) { return CLZ (x); }
inline int32 BUFMASK(int32 x) { return (1 << (31 - CLZ(x))) - 1; }