diff --git a/sys/include/sys/_timespec.h b/sys/include/sys/_timespec.h
new file mode 100644
index 0000000..fffe786
--- /dev/null
+++ b/sys/include/sys/_timespec.h
@@ -0,0 +1,17 @@
+#ifndef _SYS__TIMESPEC_H
+#define _SYS__TIMESPEC_H
+
+#include <sys/_types.h>
+
+#ifndef _TIME_T_DECLARED
+typedef __time_t        time_t;
+#define _TIME_T_DECLARED
+#endif
+
+struct timespec {
+        time_t  tv_sec;         /* seconds */
+        long    tv_nsec;        /* and nanoseconds */
+};
+
+#endif /* END _SYS__TIMESPEC_H */
+
diff --git a/sys/include/sys/_timeval.h b/sys/include/sys/_timeval.h
new file mode 100644
index 0000000..931f21c
--- /dev/null
+++ b/sys/include/sys/_timeval.h
@@ -0,0 +1,22 @@
+#ifndef _SYS__TIMEVAL_H
+#define _SYS__TIMEVAL_H
+
+#include <sys/_types.h>
+
+#ifndef _SUSECONDS_T_DECLARED
+typedef	__suseconds_t	suseconds_t;
+#define	_SUSECONDS_T_DECLARED
+#endif
+
+#ifndef _TIME_T_DECLARED
+typedef	__time_t	time_t;
+#define	_TIME_T_DECLARED
+#endif
+
+// Structure returned by gettimeofday(2) system call, and used in other calls.
+struct timeval {
+	time_t		tv_sec;		/* seconds */
+	suseconds_t	tv_usec;	/* and microseconds */
+};
+
+#endif /* END _SYS__TIMEVAL_H */
diff --git a/sys/vmm/paging.c b/sys/vmm/paging.c
index d2bc534..3b33e5f 100644
--- a/sys/vmm/paging.c
+++ b/sys/vmm/paging.c
@@ -579,12 +579,10 @@
 
       pageTableSrc = (uint32_t *) (PT_BASE_ADDR + (PAGE_SIZE * x));
 kprintf("\nx: 0x%X, PAGE_SIZE: 0x%X, pTS: 0x%X\n", x, PAGE_SIZE, pageTableSrc);
-//while(1) asm("nop");
 
       for (y = 0; y < PAGE_SIZE; y++) {
-
+kprintf("pTS[%i]: 0x%X", y, pageTableSrc[y]);
         if ((pageTableSrc[y] & PAGE_PRESENT) == PAGE_PRESENT) {
-kprintf("pTS[0]: 0x%X", pageTableSrc[0]);
 
           if ((pageTableSrc[y] & PAGE_COW) == PAGE_COW) {
 kprintf("[aCC.E: %i(0x%X)]", y,  pageTableSrc[y]);