servers/vm/i386/util.s

   1
   2 .sect .text; .sect .rom; .sect .data; .sect .bss
   3
   4 .define _i386_invlpg
   5
   6 .sect .text
   7
   8 !*===========================================================================*
   9 !*                              i386_invlpg                                  *
  10 !*===========================================================================*
  11 ! PUBLIC void i386_invlpg(u32_t addr)
  12 ! Tell the processor to invalidate a tlb entry at virtual address addr.
  13 _i386_invlpg:
  14         push    ebp
  15         mov     ebp, esp
  16         push    eax
  17
  18         mov     eax, 8(ebp)
  19         invlpg  eax
  20
  21         pop     eax
  22         pop     ebp
  23         ret