Merge in 2.0.2.

2017-01-09 22:58:21 -05:00
parent cafa9f5690
commit 08a300d1a6
12 changed files with 2010 additions and 688 deletions
--- a/kern/include/vm.h
+++ b/kern/include/vm.h
@@ -56,7 +56,6 @@ vaddr_t alloc_kpages(unsigned npages);
 void free_kpages(vaddr_t addr);

 /* TLB shootdown handling called from interprocessor_interrupt */
-void vm_tlbshootdown_all(void);
 void vm_tlbshootdown(const struct tlbshootdown *);