Symbol: WTI_DBF_LEN
arch/s390/kernel/wti.c
112
char buf[WTI_DBF_LEN];
arch/s390/kernel/wti.c
196
wti_dbg = debug_register("wti", 1, 1, WTI_DBF_LEN);