fix vaddr sizing

include_winix/winix/mm.h

@@ -35,7 +35,7 @@ void add_free_mem(void* addr, size_t size);
 void kprint_slab();
 int user_get_free_pages_from(struct proc* who, ptr_t* addr, int size);
 
-#define is_vaddr_accessible(addr, who)  is_vaddr_ok((vptr_t*)addr, 1, who)
+#define is_vaddr_accessible(addr, who)  is_vaddr_ok((vptr_t*)addr, sizeof(vptr_t*), who)
 #define free_page(page)                 release_pages((page),PAGE_LEN)
 #define get_free_page(flags)            get_free_pages(PAGE_LEN,(flags))
 #define user_get_free_page(who,flags)   user_get_free_pages((who), PAGE_LEN ,(flags))