162306a36Sopenharmony_ci// SPDX-License-Identifier: GPL-2.0
262306a36Sopenharmony_ci/* Copyright (c) 2022 Meta Platforms, Inc. and affiliates. */
362306a36Sopenharmony_ci#define _SDT_HAS_SEMAPHORES 1
462306a36Sopenharmony_ci#include "sdt.h"
562306a36Sopenharmony_ci
662306a36Sopenharmony_ci#define SEC(name) __attribute__((section(name), used))
762306a36Sopenharmony_ci
862306a36Sopenharmony_ciunsigned short urandlib_read_with_sema_semaphore SEC(".probes");
962306a36Sopenharmony_ci
1062306a36Sopenharmony_civoid urandlib_read_with_sema(int iter_num, int iter_cnt, int read_sz)
1162306a36Sopenharmony_ci{
1262306a36Sopenharmony_ci	STAP_PROBE3(urandlib, read_with_sema, iter_num, iter_cnt, read_sz);
1362306a36Sopenharmony_ci}
14