/**
 * PROJECT:         ExectOS
 * COPYRIGHT:       See COPYING.md in the top level directory
 * FILE:            xtoskrnl/hl/amd64/timer.cc
 * DESCRIPTION:     Timer support for AMD64
 * DEVELOPERS:      Aiken Harris <harraiken91@gmail.com>
 */

#include <xtos.hh>


/* Include common Timer interface */
#include ARCH_COMMON(timer.cc)