51单片机外部计数器的使用方法

T0的端口怎么使用?我想用p3.4口接一个霍尔开关接收脉冲进行计数,数值是放在TH0和TL0的!我的理解有没有错//初始化红外计数器 定义外部中断口P3.4为 脉冲触发模式
void Init_Sum_Ird(){
TMOD="0x05"; //开启计数器0 为16位计数器
EA="1";//开总中断
ET0=1; //开外部中断
IT0=1;
TR0=0; //禁用
// TH0=0;
// TL0=0;
sum_ird=0;//初始化计数值为
}

//红外计数器的 中断0 计数累加
void Et0() interrupt 1{