получение ОШИБКИ C4013 - __readcr () undefined;предполагая, что extern возвращает int

Question

Я пытаюсь скомпилировать драйвер и получаю следующее сообщение об ошибке:

Error   C2220   warning treated as error - no 'object' file generated
Error   C4013   '__writecr0' undefined; assuming extern returning int
Error   C4013   '__readcr0' undefined; assuming extern returning int

Я также включил intrin.h, платформа решения ARM64

UINT64 cr0 = __readcr0();
__writecr0( cr0 & 
*(PUSHORT)place = 
*(PULONG)(place + 2) = 
*(PVOID**)(place + 6) = 
__writecr0( cr0 );

Answer 1

docs заявляет, что встроенная функция доступна только для x86 и x86-64 и даже там только в режиме ядра.Таким образом, он не будет работать для кросс-компиляции ARM64.