Merge branch 'upstream'

2017-01-09 22:59:46 -05:00
parent b126279b52 08a300d1a6
commit 93cc12e3f2
11 changed files with 162 additions and 39 deletions
--- a/kern/include/vm.h
+++ b/kern/include/vm.h
@@ -63,7 +63,6 @@ void free_kpages(vaddr_t addr);
 unsigned int coremap_used_bytes(void);

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