一开发板上的例程，PIC24FJ48GA002单片机，配置如下：

_CONFIG1( JTAGEN_OFF & GCP_ON & GWRP_ON & BKBUG_OFF & COE_OFF & FWDTEN_OFF & ICS_PGx1 &
WINDIS_OFF & FWPSA_PR128 & WDTPS_PS32768)
_CONFIG2( IESO_OFF & FCKSM_CSDCMD & OSCIOFNC_ON & POSCMOD_NONE & FNOSC_FRCPLL & I2C1SEL_PRI
& IOL1WAY_OFF)

void T1Init(void)
{
/* 定时器*/
T1CON=0x8020; /* 定时 1ms*/
PR1 = 124;
_T1IE=1;
}

是1ms定时，还是0.5ms定时？