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: Added missing BOOT_CODE annotation

Browse Source 
x86_cpuid_initialize was missing BOOT_CODE annotation.

Fixes #1575

Signed-off-by: Seph Gentle <me@josephg.com>
This commit is contained in:
Seph Gentle
2025-12-18 18:04:12 +11:00
committed by Indan Zupancic
parent 78c3b11a02
commit 67f9a1002c
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

@@ -113,7 +113,7 @@ BOOT_CODE static void x86_cpuid_amd_identity_initialize(cpu_identity_t *ci,
}
}
bool_t x86_cpuid_initialize(void)
BOOT_CODE bool_t x86_cpuid_initialize(void)
{
cpu_identity_t *ci = x86_cpuid_get_identity();
struct family_model original;