bits 64
    
    db 0x66, 0x0f, 0x01, 0xcc
    db 0x66, 0x0f, 0x01, 0xcd
    db 0x66, 0x0f, 0x01, 0xce
    db 0x66, 0x0f, 0x01, 0xcf