Declaração variável com @ em C

Estou lendo um código C e me deparei com esta declaração no programa: unsigned char serv_ctr @0x0002; Alguém pode me indicar documentação ou explicar para que serve o "@ 0x0002" no compilador Mplab XC8 v1.35