怎样实现一个自己的中断处理函数（windows环境下）？

网上资料－从IRQ到IRQL(APIC版)里说到HalBeginSystemInterrupt、HalEndSystemInterrupt函数，是不是要实现一个自己的中断处理函数就必须这样？
void MyInterruptHandler()
{
      .......
      HalBeginSystemInterrupt(...);
      .......
      HalEndSystemInterrupt(...);
      .......
}
但是HalBeginSystemInterrupt、HalEndSystemInterrupt这两个函数怎么调用啊？DDK和DriverWork都认不到这两个函数