rem: for (i = 0; i < num_pages; i++) {
add: asm volatile("sync"); for(i = 0; i < num_pages; i++) { asm volatile("tlbie %0" :: "r" (pages[i])); asm volatile("eieio"); asm volatile("sync");
context: arch_cpu_invalidate_TLB_list(addr pages[], int num_pages){	int i;	for (i = 0; i < num_pages; i++) {		//invalidate_TLB(pages[i]);	}}