nuttx/nuttx-update
1
2
Fork 1
Code Issues 1 Pull requests 1 Projects Releases Packages Wiki Activity Actions

arch/x86_64/: fix broken set_cr3()

Browse source 
arch/x86_64/: fix broken set_cr3()

Signed-off-by: p-szafonimateusz <p-szafonimateusz@xiaomi.com>
This commit is contained in:
p-szafonimateusz 2024-11-16 13:29:12 +01:00 committed by Alan C. Assis
parent 289f43f0ad
commit 7f4279b8af
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
arch/x86_64/include/intel64/irq.h
View file

@ -571,7 +571,7 @@ static inline void set_pcid(uint64_t pcid)
static inline void set_cr3(uint64_t cr3)
{
__asm__ volatile("mov %0, %%cr3" : "=rm"(cr3) : : "memory");
__asm__ volatile("mov %0, %%cr3" :: "r"(cr3));
}
static inline uint64_t get_cr3(void)