Symbol: malloc_and_init
usr.bin/ssh/libcrux_mlkem768_sha3.h
560
((t_dst)(malloc_and_init(sizeof(t), (char *)(&init))))
usr.bin/ssh/libcrux_mlkem768_sha3.h
563
((t_dst)(malloc_and_init(len * sizeof(t), (char *)(ptr))))