Symbol: malloc_and_init
usr.bin/ssh/libcrux_internal.h
593
((t_dst)(malloc_and_init(sizeof(t), (char *)(&init))))
usr.bin/ssh/libcrux_internal.h
599
((t_dst)(malloc_and_init(len * sizeof(t), (char *)(ptr))))
usr.bin/ssh/libcrux_internal.h
605
.f0 = (t *)malloc_and_init(sizeof(t), (char *)(&init))})