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 |
get_reg_l(0), ... , get_reg_l(15) | 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 |
((FLINT_VERMAJ << 8) + FLINT_VERMIN) | version number of the FLINT/C library |
FLINT_SECURE | 0×73, 0 | identifier 's' or''for the FLINT/C security mode |
Team-Fly |