cprover
windows_builtin_headers.h
Go to the documentation of this file.
1 int __assume(int);
2 unsigned short __lzcnt16(unsigned short value);
3 unsigned int __lzcnt(unsigned int value);
4 unsigned __int64 __lzcnt64(unsigned __int64 value);
unsigned int __lzcnt(unsigned int value)
unsigned short __lzcnt16(unsigned short value)
unsigned __int64 __lzcnt64(unsigned __int64 value)