CPUIDBit

3 triples
GPTKB property

Random triples
Subject Object
gptkb:Intel_RDRAND ECX bit 30 (RDRAND)
gptkb:x86_POPCNT_instruction ECX[Bit 23]
gptkb:CLMUL ECX[1] (PCLMULQDQ)