minix/servers/vm/arch/i386/util.S
Arun Thomas 436d6012a3 Convert drivers/ and servers/ over to bsdmake
-Move libdriver to lib/
-Install all boot image services on filesystem to aid restartability
2010-03-22 21:25:22 +00:00

24 lines
549 B
ArmAsm

.globl _i386_invlpg
.text
/**===========================================================================* */
/** i386_invlpg * */
/**===========================================================================* */
/* PUBLIC void i386_invlpg(u32_t addr) */
/* Tell the processor to invalidate a tlb entry at virtual address addr. */
_i386_invlpg:
push %ebp
mov %esp, %ebp
push %eax
mov 8(%ebp), %eax
#ifdef __ACK__
invlpg %eax
#else
invlpg (%eax)
#endif
pop %eax
pop %ebp
ret