diff --git a/kernel/glo.h b/kernel/glo.h
index 30468ab35..ba1a56576 100755
--- a/kernel/glo.h
+++ b/kernel/glo.h
@@ -43,6 +43,7 @@ EXTERN unsigned lost_ticks;	/* clock ticks counted outside clock task */
 EXTERN irq_hook_t irq_hooks[NR_IRQ_HOOKS];	/* hooks for general use */
 EXTERN int irq_actids[NR_IRQ_VECTORS];		/* IRQ ID bits active */
 EXTERN int irq_use;				/* map of all in-use irq's */
+EXTERN u32_t system_hz;				/* HZ value */
 
 EXTERN struct ipc_stats
 {
diff --git a/kernel/priv.h b/kernel/priv.h
index a8bfc15af..6d50cde2c 100755
--- a/kernel/priv.h
+++ b/kernel/priv.h
@@ -67,15 +67,6 @@ struct priv {
 /* Guard word for task stacks. */
 #define STACK_GUARD	((reg_t) (sizeof(reg_t) == 2 ? 0xBEEF : 0xDEADBEEF))
 
-/* Bits for the system property flags. */
-#define PREEMPTIBLE	0x02	/* kernel tasks are not preemptible */
-#define BILLABLE	0x04	/* some processes are not billable */
-
-#define SYS_PROC	0x10	/* system processes have own priv structure */
-#define CHECK_IO_PORT	0x20	/* check if I/O request is allowed */
-#define CHECK_IRQ	0x40	/* check if IRQ can be used */
-#define CHECK_MEM	0x80	/* check if (VM) mem map request is allowed */
-
 /* Magic system structure table addresses. */
 #define BEG_PRIV_ADDR (&priv[0])
 #define END_PRIV_ADDR (&priv[NR_SYS_PROCS])
diff --git a/kernel/proc.h b/kernel/proc.h
index ad5b2b117..bfc043bdb 100755
--- a/kernel/proc.h
+++ b/kernel/proc.h
@@ -117,7 +117,7 @@ struct proc {
 #define P_STOP		0x40	/* set when process is being traced */
 #define NO_PRIV		0x80	/* keep forked system process from running */
 #define NO_ENDPOINT    0x100	/* process cannot send or receive messages */
-#define VMINHIBIT      0x200	/* not scheduled until released by VM */
+#define VMINHIBIT      0x200	/* not scheduled until pagetable set by VM */
 #define PAGEFAULT      0x400	/* process has unhandled pagefault */
 #define VMREQUEST      0x800	/* originator of vm memory request */