1 files changed, 0 insertions, 42 deletions
diff --git a/src/standalone/upg5/pagedir.h b/src/standalone/upg5/pagedir.h
deleted file mode 100644
index 2919d1a..0000000
--- a/src/standalone/upg5/pagedir.h
+++ /dev/null
@@ -1,42 +0,0 @@
-#ifndef PAGEDIR_H
-#define PAGEDIR_H
-
-typedef int bool;
-#define false 0
-#define true 1
-
-/* Returns true iff 'adr' contains a null-character ('\0'). */
-bool is_end_of_string(char* adr);
-
-/* Returns the start address of the page that contains 'adr'. */
-void* pg_round_down(const void* adr);
-
-/* Returns the page number of the page that contains 'adr'.
- * Page numbers are counted with start at zero (0).
- */
-unsigned pg_no(const void* adr);
-
-/* Uses the page table to translate from logic to physical
- * address. Returns NULL if the translation fail.
- *
- * The first parameter specify the top level page table to
- * use. Normally you will find it in the structure corresponding
- * to your operating systems PCB (Process Control Block).
- */
-void *pagedir_get_page (void *pagetable, const void *adr);
-
-/* Page size: The number of bytes in each page. */
-#define PGSIZE 100
-
-/* Functions used to simulate a paging system and testing your
- * solution. */
-void start_evaluate_algorithm(void* start, int size);
-void evaluate(bool result);
-void end_evaluate_algorithm();
-
-/* Let us decide how costly a simulated page fault is in terms of
- * time. Does not exist in Pintos. Set to zero (0) for faster
- * testing. */
-void simulator_set_pagefault_time(unsigned i);
-
-#endif