/*
 * SPDX-FileCopyrightText: 2025 Eilertsens Kodeknekkeri
 * SPDX-FileCopyrightText: 2025 The FreeBSD Foundation
 * SPDX-FileContributor: Harald Eilertsen <haraldei@anduin.net>
 *
 * SPDX-License-Identifier: BSD-2-Clause
 */

#ifndef __SYSCTL_CPU_TIME_HPP
#define __SYSCTL_CPU_TIME_HPP

#include <pthread.h>

void sysctl_cpu_time(pthread_t thread, struct timeval * utime, struct timeval * stime);

#endif