18c2ecf20Sopenharmony_ci# SPDX-License-Identifier: GPL-2.0-only 28c2ecf20Sopenharmony_cigettimeofday 38c2ecf20Sopenharmony_cicontext_switch 48c2ecf20Sopenharmony_cifork 58c2ecf20Sopenharmony_ciexec_target 68c2ecf20Sopenharmony_cimmap_bench 78c2ecf20Sopenharmony_cifutex_bench 88c2ecf20Sopenharmony_cinull_syscall 9