    bits 64
    
    db 0xF3, 0x0F, 0x38, 0xDC, 0x01     ; AESENC128KL xmm0, m384 ptr [rcx]
    db 0xF3, 0x0F, 0x38, 0xDD, 0x01     ; AESDEC128KL xmm0, m384 ptr [rcx]
    db 0xF3, 0x0F, 0x38, 0xDE, 0x08     ; AESENC256KL xmm1, zmmword ptr [rax]
    db 0xF3, 0x0F, 0x38, 0xDF, 0x08     ; AESDEC256KL xmm1, zmmword ptr [rax]
    db 0xF3, 0x0F, 0x38, 0xD8, 0x00     ; AESENCWIDE128KL m384 ptr [rax]
    db 0xF3, 0x0F, 0x38, 0xD8, 0x08     ; AESDECWIDE128KL m384 ptr [rax]
    db 0xF3, 0x0F, 0x38, 0xD8, 0x10     ; AESENCWIDE256KL m384 ptr [rax]
    db 0xF3, 0x0F, 0x38, 0xD8, 0x18     ; AESDECWIDE256KL m384 ptr [rax]
    db 0xF3, 0x0F, 0x38, 0xFA, 0xC0     ; ENCODEKEY128 eax, eax
    db 0xF3, 0x0F, 0x38, 0xFB, 0xCF     ; ENCODEKEY256 esi, esi
    db 0xF3, 0x0F, 0x38, 0xDC, 0xC1     ; LOADIWKEY xmm0, xmm1