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);
__lzcnt64
unsigned __int64 __lzcnt64(unsigned __int64 value)
__lzcnt16
unsigned short __lzcnt16(unsigned short value)
__lzcnt
unsigned int __lzcnt(unsigned int value)
ansi-c
windows_builtin_headers.h
Generated by
1.8.20