// SPDX-License-Identifier: ISC

#pragma once

#include <stdint.h>

void arch_timer_program(uint64_t deadline_ns);