| /kernel/trunk/arch/amd64/include/asm.h |
|---|
| 247,7 → 247,7 |
| */ |
| static inline void invlpg(__address addr) |
| { |
| __asm__ volatile ("invlpg %0\n" :: "m" (addr)); |
| __asm__ volatile ("invlpg %0\n" :: "m" (*((__native *)addr))); |
| } |
| extern size_t interrupt_handler_size; |
| /kernel/trunk/arch/ia32/include/asm.h |
|---|
| 241,7 → 241,7 |
| */ |
| static inline void invlpg(__address addr) |
| { |
| __asm__ volatile ("invlpg %0\n" :: "m" (addr)); |
| __asm__ volatile ("invlpg %0\n" :: "m" (*(__native *)addr)); |
| } |
| #endif |