8 #-----------------------------------------#
10 a = `generic_file_buffered_write`
11 b = `generic_file_mmap`
13 printf("generic_file_buffered_write: 0x%x\n", a);
14 printf("generic_file_mmap: 0x%x\n", b);
16 # test read symbol in kernel module
17 printf("kp_call: 0x%x\n", `kp_call`)