Exemple #1
0
Fichier : boot.c Projet : mrd/seL4 
/**
  DONT_TRANSLATE
*/
BOOT_CODE static uint32_t boot_clz (uint32_t x)
{
    return CLZ (x);
}
Exemple #2
0
inline int32 BUFMASK(int32 x)
{
	return (1 << (31 - CLZ(x))) - 1;
}