servers/vm/arch/i386/util.S

   1 #include <machine/asm.h>
   2
   3 /**===========================================================================* */
   4 /**                              i386_invlpg                                  * */
   5 /**===========================================================================* */
   6 /* PUBLIC void i386_invlpg(u32_t addr) */
   7 /* Tell the processor to invalidate a tlb entry at virtual address addr. */
   8 ENTRY(i386_invlpg)
   9         push    %ebp
  10         mov     %esp, %ebp
  11         push    %eax
  12
  13         mov     8(%ebp), %eax
  14 #ifdef __ACK__
  15         invlpg  %eax
  16 #else
  17         invlpg  (%eax)
  18 #endif
  19
  20         pop     %eax
  21         pop     %ebp
  22         ret