typedef struct {
dword edi;
dword esi;
dword ebp;
dword esp2;
dword ebx;
dword edx;
dword ecx;
dword eax;
dword eip;
dword cs;
dword eflag;
dword esp;
dword ss;
} StackFrame;

void timerHandler(StackFrame *frame)
{
printf("eip %d", frame->eip);
}

こんな感じ。
既存のOSのコードを軽く眺めてみるのも良いと思う。