xin mọi người giúp đỡ về Ngắt trong PIC

[dvkkt]

void main()
{

ext_int_edge(0,L_TO_H);
enable_interrupts(GLOBAL);
enable_interrupts(INT_EXT1);
while(true)
{

output_high(pin_b6);

{   <<<------ ????

if(count==20)
output_high(pin_b7); // nếu nhận được 20 xung thì cho sáng led chân RB7

}

}
}

Bạn xem lại chổ mình để dấu ?.