Searched defs:charBits (Results 1 – 7 of 7) sorted by relevance
809 int charBits, x; local
1461 int charBits, x, k; local
68 BitsLong *charBits; in InitBeagleInstance() local1504 BitsLong *charBits; in InitBeagleMultiPartitionInstance() local
5771 BitsLong *charBits; in InitChainCondLikes() local6691 BitsLong *charBits; in InitInvCondLikes() local
554 charBits = BV.asUnsigned (BV.select' i (knownNat @4) u) function
906 uint8_t charBits; member