// Copyright 2019 The Fuchsia Authors. All rights reserved.
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.

#ifndef SRC_DEVICES_BIN_DRIVER_HOST_SCHEDULER_PROFILE_H_
#define SRC_DEVICES_BIN_DRIVER_HOST_SCHEDULER_PROFILE_H_

#include <zircon/types.h>

namespace internal {
zx_status_t connect_scheduler_profile_provider();
zx_status_t get_scheduler_profile(uint32_t priority, const char* name, zx_handle_t* profile);

zx_status_t get_scheduler_deadline_profile(uint64_t capacity, uint64_t deadline, uint64_t period,
                                           const char* name, zx_handle_t* profile);
}  // namespace internal

#endif  // SRC_DEVICES_BIN_DRIVER_HOST_SCHEDULER_PROFILE_H_