HelenOS sources

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