#ifndef _KERNEL_AMD64_SYSTICK_H
#define _KERNEL_AMD64_SYSTICK_H

#include <libk/std.h>
#include <proc/reschedule.h>

void systick_irq(void* arg, void* regs, bool user, struct reschedule_ctx* rctx);

#endif // // _KERNEL_AMD64_SYSTICK_H