Merge pull request #8021 from daverodgman/master-update

Sync development with accidental merge directly onto master
This commit is contained in:
Gilles Peskine 2023-08-02 13:30:35 +00:00 committed by GitHub
commit ce64156f6d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 4 additions and 0 deletions

View file

@ -35,6 +35,8 @@
#if MBEDTLS_AESNI_HAVE_CODE == 2
#if !defined(_WIN32)
#include <cpuid.h>
#else
#include <intrin.h>
#endif
#include <immintrin.h>
#endif