rem: for (; start < end; start += PAGE_SIZE) {
add: int num_pages = end/PAGE_SIZE - start/PAGE_SIZE; while ( num_pages-- >= 0 ) {
context: arch_cpu_invalidate_TLB_range(addr start, addr end){	for (; start < end; start += PAGE_SIZE) {		invalidate_TLB(start);	}}