path: root/src/kernel/arch/amd64/time.h

#pragma once
#include <kernel/arch/generic.h>

void pit_irq(void);