FFFFF7A8   mov     ebx, 0FFDA0000h      ; физический адрес тома с DXE
FFFFF7AD   cmp     dword ptr [ebx+28h], 'HVF_'   ; есть ли "_FVH"
FFFFF7B4   jnz     FFFFF8A9
FFFFF7BA   mov     edx, ebx            
FFFFF7BC   mov     eax, [ebx+30h]         ; размер заголовка тома
FFFFF7BF   and     eax, 0FFFFh
FFFFF7C4   add     ebx, eax         ; переход к телу
FFFFF7C6   jb      FFFFF8A9
FFFFF7CC   add     edx, [edx+20h]         ; указатель на конец тома
FFFFF7CF   jz      short FFFFF7D7
FFFFF7D1   jb      FFFFF8A9
FFFFF7D7   dec     edx
FFFFF7D8   cmp     dword ptr [ebx], 0FFFFFFFFh   ; достигли заполнения?
FFFFF7DB   jz      short FFFFF807
FFFFF7DD   mov     ecx, 4
FFFFF7E2   mov     esi, ebx
FFFFF7E4   mov     edi, offset GUID_Microcode
FFFFF7E9   repe cmpsd            ; сравниваем GUID с {17088572-377F-44EF-8F4E-B09FFF46A070}
FFFFF7EB   jz      short FFFFF80C         ; это GUID_Microcode?
FFFFF7ED   mov     eax, [ebx+14h]         ; размер модуля
FFFFF7F0   and     eax, 0FFFFFFh
FFFFF7F5   add     ebx, eax         ; переход на конец модуля с выравниванием
FFFFF7F7   add     ebx, 7
FFFFF7FA   jb      FFFFF8A9      
FFFFF800   and     ebx, 0FFFFFFF8h
FFFFF803   cmp     ebx, edx
FFFFF805   jb      short FFFFF7D8         ; это последний? 
FFFFF807   jmp     FFFFF8A9         ; модуля микрокода не найден   
FFFFF80C   mov     edi, ebx         ; работа с модулем микрокода
FFFFF80E   mov     eax, [ebx+14h]
FFFFF811   and     eax, 0FFFFFFh
FFFFF816   add     edi, eax         ; указатель на конец модуля
FFFFF818   jb      FFFFF8A9         
FFFFF81E   add     ebx, 18h          ; переход к телу
FFFFF821   jb      FFFFF8A9
FFFFF827   mov     esi, ebx
FFFFF829   mov     eax, 1
FFFFF82E   cpuid
FFFFF830   mov     ebx, eax         ; сохранение CPUID
FFFFF832   mov     ecx, 17h
FFFFF837   rdmsr
FFFFF839   shr     edx, 12h
FFFFF83C   and     dl, 7
FFFFF83F   mov     cl, dl            ; сохранение Platform ID
FFFFF841   mov     dl, 1
FFFFF843   shl     dl, cl            ; получение битовой маски из Platform ID
FFFFF845   xchg    ebx, esi               
FFFFF847   cmp     ebx, edi         ; достигнут ли конец модуля
FFFFF849   jnb     short FFFFF8A9      
FFFFF84B   cmp     dword ptr [ebx], 1      ; есть ли единица в начале
FFFFF84E   jnz     short FFFFF8A9
FFFFF850   mov     ecx, 800h
FFFFF855   cmp     dword ptr [ebx+1Ch], 0
FFFFF859   jz      short FFFFF85E
FFFFF85B   mov     ecx, [ebx+20h]         ; сохранение длины микрокода. если 0, то это 0x800
FFFFF85E   cmp     esi, [ebx+0Ch]         ; сравнение CPUID
FFFFF861   jnz     short FFFFF86A
FFFFF863   mov     eax, ebx
FFFFF865   test    [ebx+18h], dl         ; проверка битовой маски
FFFFF868   jnz     short FFFFF8AB         ; переход на загрузку микрокода        
FFFFF86A   mov     ebp, [ebx+20h]         ; проверка коррекности длин
FFFFF86D   mov     eax, [ebx+1Ch]
FFFFF870   add     eax, 30h
FFFFF873   cmp     ebp, eax
FFFFF875   jbe     short FFFFF897
FFFFF877   mov     ecx, [eax+ebx]         ; вычисление длины в сложных случаях
FFFFF87A   cmp     ecx, 14h
FFFFF87D   jnb     short FFFFF8A9
FFFFF87F   lea     ebp, [eax+ebx+14h]
FFFFF883   cmp     [ebp+0], esi
FFFFF886   jnz     short FFFFF88F
FFFFF888   mov     eax, ebx
FFFFF88A   test    [ebp+4], dl
FFFFF88D   jnz     short FFFFF8AB
FFFFF892   loop    FFFFF883
FFFFF894   mov     ecx, [ebx+20h]
FFFFF897   add     ecx, 7FFh         ; выравнивание длины на границу 0x800
FFFFF89D   and     ecx, offset FFFFF800
FFFFF8A3   add     ebx, ecx
FFFFF8A5   jb      short FFFFF8A9
FFFFF8A7   jmp     short FFFFF847         ; переход к следующему микрокоду