rename pagedir_use() to pagedir_switch()

imo "use" was slightly misleading

1 files changed, 1 insertions, 1 deletions

diff --git a/src/kernel/arch/generic.h b/src/kernel/arch/generic.h
index 7ce3d46..a535514 100644
--- a/src/kernel/arch/generic.h
+++ b/src/kernel/arch/generic.h
@@ -22,4 +22,4 @@ void sysenter_setup();
 struct pagedir *pagedir_new();
 void pagedir_map(struct pagedir *dir, void *virt, void *phys,
                  bool user, bool writeable);
-void pagedir_use(struct pagedir *);
+void pagedir_switch(struct pagedir *);