#include <linux/kernel.h>
#include <linux/module.h>


#include <linux/ppp_channel.h>


int init_module() {
	int j=1;
	unsigned long data;
   int foo = 1024;
   data = &foo;
   //OFFENDING k_call -> get_user() : See <asm/uaccess.h>
   // Generates "j 2b" assembly
   get_user(j,(int *)data);
	return 0;
}

void cleanup_module() {
}