Paging: Difference between revisions

Jump to navigation Jump to search
[unchecked revision][unchecked revision]
Content added Content deleted
m (fixed external links formatting)
mNo edit summary
Line 57: Line 57:
</source>
</source>


Inline asm in GCC:
Inline asm in GCC (from Linux kernel source):
<source lang="C">
<source lang="C">
static inline void __native_flush_tlb_single(unsigned long addr)
__asm__ volatile("invlpg %0"::"m" (*(char *)addr));
{
asm volatile("invlpg (%0)" ::"r" (addr) : "memory");
}
</source>
</source>