Subversion Repositories HelenOS

Compare Revisions

Ignore whitespace Rev 2744 → Rev 2745

/trunk/kernel/arch/ia32xen/src/mm/tlb.c
65,7 → 65,7
*/
void tlb_invalidate_pages(asid_t asid, uintptr_t page, count_t cnt)
{
int i;
unsigned int i;
 
for (i = 0; i < cnt; i++)
invlpg(page + i * PAGE_SIZE);