|
BASE
|
0×10000
|
base B = 216 of the CLINT number format
|
|
BASEMINONE
|
0×ffffU
|
B −1
|
|
DBASEMINONE
|
0×ffffffffUL
|
B2 −1
|
|
BASEDIV2
|
0×8000U
|
⌊B/2⌋
|
|
NOOFREGS
|
16U
|
standard number of registers in register bank
|
|
BITPERDGT
|
16UL
|
number of binary digits per CLINT digit
|
|
LDBITPERDGT
|
4U
|
logarithm of BITPERDGT to base 2
|
|
CLINTMAXDIGIT
|
256U
|
maximal number of digits to base B of a CLINT object
|
|
CLINTMAXSHORT
|
(CLINTMAXDIGIT + 1)
|
USHORTs to be allocated for a CLINT object
|
|
CLINTMAXBYTE
|
(CLINTMAXSHORT << 1)
|
number of allocated bytes for a CLINT object
|
|
CLINTMAXBIT
|
(CLINTMAXDIGIT << 4)
|
maximal number of binary digits of a CLINT object
|
|
r0_l, ... , r15_l
|
|
pointer to CLINT registers 0,...,15
|
|
FLINT_VERMAJ
| |
higher version number of the FLINT/C library
|
|
FLINT_VERMIN
| |
lower version number of the FLINT/C library
|
|
FLINT_VERSION
|
|
version number of the FLINT/C library
|
|
FLINT_SECURE
|
0×73, 0
|
identifier 's' or''for the FLINT/C security mode
|
