Possible race in nsc-ircc.ko

e dongle with id 0 exists). Is this case feasible from your point of view? Thank you for your time. -- Anton Volkov Linux Verification Center, ISPRAS web: http://linuxtesting.org e-mail: avol...@ispras.ru

Possible race in ks8851_mll.ko

hem changes the ks->cmd_reg_cache it is possible that both will use the same value though it should be different. Is this race feasible from your point of view? Thank you for your time. -- Anton Volkov Linux Verification Center, ISPRAS web: http://linuxtesting.org e-mail: avol...@ispras.ru

Possible race in via-ircc.ko

tion feasible from your point of view? If it is feasible, is it a benign race or something serious? Thank you for your time. -- Anton Volkov Linux Verification Center, ISPRAS web: http://linuxtesting.org e-mail: avol...@ispras.ru

Possible race in c4.ko

may then be assigned an undesirable value and wrong controller may handle messages. Is this case feasible from your point of view? Thank you for your time. -- Anton Volkov Linux Verification Center, ISPRAS web: http://linuxtesting.org e-mail: avol...@ispras.ru

Question about via-ircc.ko

tion feasible from your point of view? If it is feasible, is it a benign race or something serious? Thank you for your time. -- Anton Volkov Linux Verification Center, ISPRAS web: http://linuxtesting.org e-mail: avol...@ispras.ru

[PATCH v2] hysdn: fix to a race condition in put_log_buffer

won't be feasible in the future. Found by by Linux Driver Verification project (linuxtesting.org). Signed-off-by: Anton Volkov --- v2: Fixed coding style issues drivers/isdn/hysdn/hysdn_proclog.c | 28 +--- 1 file changed, 13 insertions(+), 15 deletions(-) diff --

[PATCH] hysdn: fix to a race condition in put_log_buffer

won't be feasible in the future. Found by by Linux Driver Verification project (linuxtesting.org). Signed-off-by: Anton Volkov --- drivers/isdn/hysdn/hysdn_proclog.c | 27 --- 1 file changed, 12 insertions(+), 15 deletions(-) diff --git a/drivers/isdn/hysdn/hysdn_proc

[PATCH] hysdn: fix to a race condition in put_log_buffer

cases won't be feasible in the future. Found by by Linux Driver Verification project (linuxtesting.org). Signed-off-by: Anton Volkov --- drivers/isdn/hysdn/hysdn_proclog.c | 27 --- 1 file changed, 12 insertions(+), 15 deletions(-) diff --git a/drivers/isdn/

Possible race in hysdn.ko

Hello. While searching for races in the Linux kernel I've come across "drivers/isdn/hysdn/hysdn.ko" module. Here is a question that I came up with while analysing results. Lines are given using the info from Linux v4.12. In hysdn_proclog.c file in put_log_buffer function a non-standard type of s