servers/vm/arch/i386/util.S

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