CPUIDBit

URI: https://gptkb.org/prop/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)