Imagelibrary/seL4
1
0
Fork 1
mirror of https://github.com/seL4/seL4.git synced 2026-03-27 10:29:57 +00:00
Code Issues Packages Projects Releases Wiki Activity

x86: Fix AMD CPU model assignment typo

Browse Source 
When original.family >= 0xF, the extended model was incorrectly
assigned to ci->display.family instead of ci->display.model. This
matches the Intel implementation and AMD CPUID specification.

Signed-off-by: Weixie Cui <cuiweixie@gmail.com>
Made-with: Cursor
This commit is contained in:
Weixie Cui
2026-03-19 08:15:36 +08:00
committed by Indan Zupancic
parent c406015c38
commit ebbda2af5a
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/arch/x86/machine/cpu_identification.c
View File

@@ -109,7 +109,7 @@ BOOT_CODE static void x86_cpuid_amd_identity_initialize(cpu_identity_t *ci,
ci->display.model = original.model;
} else {
ci->display.family = original.family + ci->display.extended_family;
ci->display.family = (ci->display.extended_model << 4u) + original.model;
ci->display.model = (ci->display.extended_model << 4u) + original.model;
}
}