portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

x86_64/vspace: made init_syscall_msrs not bootcode

Browse source 
`init_syscall_msrs()` is also called by `vcpu_restore_host_msrs()`
so should not be BOOT_CODE.

Signed-off-by: Bill Nguyen <bill.nguyen@unsw.edu.au>
This commit is contained in:
Bill Nguyen 2026-05-20 10:51:09 +10:00 committed by Indan Zupancic
parent 3527859e72
commit b050e4b78d
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/arch/x86/64/kernel/vspace.c
View file

@ -327,7 +327,7 @@ BOOT_CODE void init_tss(tss_t *tss)
sizeof(x86KSGlobalState[CURRENT_CPU_INDEX()].x86KStss.io_map));
}
BOOT_CODE void init_syscall_msrs(void)
void init_syscall_msrs(void)
{
x86_wrmsr(IA32_LSTAR_MSR, (uint64_t)&handle_fastsyscall);
// mask bit 9 in the kernel (which is the interrupt enable bit)