lkdtm_indirect_call
lkdtm_indirect_call(lkdtm_increment_void);
lkdtm_indirect_call((void *)lkdtm_increment_int);