Ejemplo n.º 1
0
Archivo: boot.c Proyecto: mrd/seL4
/**
  DONT_TRANSLATE
*/
BOOT_CODE static uint32_t boot_clz (uint32_t x)
{
    return CLZ (x);
}
Ejemplo n.º 2
0
inline int32 BUFMASK(int32 x)
{
	return (1 << (31 - CLZ(x))) - 1;
}