get_robust_list01    1  TBROK  :  tst_pid.c:46: Failed to open FILE '/proc/sys/kernel/pid_max' for reading: errno=ENOENT(2): No such file or directory
get_robust_list01    2  TBROK  :  tst_pid.c:46: Remaining cases broken

[ 3506.557374] <LAVA_SIGNAL_ENDTC get_robust_list01>
get_robust_list01 get_robust_list01
get_robust_list01    1  TBROK  :  tst_pid.c:46: Failed to open FILE '/proc/sys/kernel/pid_max' for reading: errno=ENOENT(2): No such file or directory
get_robust_list01    2  TBROK  :  tst_pid.c:46: Remaining cases broken