diff options
| -rw-r--r-- | src/include/cpu/x86/lapic.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/include/cpu/x86/lapic.h b/src/include/cpu/x86/lapic.h index 28978f2793..5ab57554f2 100644 --- a/src/include/cpu/x86/lapic.h +++ b/src/include/cpu/x86/lapic.h @@ -9,12 +9,12 @@ static __always_inline uint32_t lapic_read(unsigned int reg) { - return read32((volatile void *)(LAPIC_DEFAULT_BASE + reg)); + return read32((volatile void *)(uintptr_t)(LAPIC_DEFAULT_BASE + reg)); } static __always_inline void lapic_write(unsigned int reg, uint32_t v) { - write32((volatile void *)(LAPIC_DEFAULT_BASE + reg), v); + write32((volatile void *)(uintptr_t)(LAPIC_DEFAULT_BASE + reg), v); } static __always_inline void lapic_wait_icr_idle(void) |