int access_ok(int type, void *addr, unsigned long size);