HelenOS sources

nonnull_return_data  110 kernel/generic/src/lib/ubsan.c void __ubsan_handle_nonnull_return(struct nonnull_return_data *data);
nonnull_return_data  111 kernel/generic/src/lib/ubsan.c void __ubsan_handle_nonnull_return_v1(struct nonnull_return_data *data,
nonnull_return_data  232 kernel/generic/src/lib/ubsan.c void __ubsan_handle_nonnull_return(struct nonnull_return_data *data)
nonnull_return_data  238 kernel/generic/src/lib/ubsan.c void __ubsan_handle_nonnull_return_v1(struct nonnull_return_data *data,
nonnull_return_data  111 uspace/lib/c/generic/ubsan.c void __ubsan_handle_nonnull_return(struct nonnull_return_data *data);
nonnull_return_data  242 uspace/lib/c/generic/ubsan.c void __ubsan_handle_nonnull_return(struct nonnull_return_data *data)