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