не удается получить доступ к таймеру 4 PIC32 с TMR4, T4CON и т.д.

Question

Я посмотрел в файле pic32ms.h и, кажется, нет никаких определений для таймера 4. Для таймера 2 имеет следующее:

/* 
* Timer2 registers 
*/ 
#define T2CON  PIC32_R (0x0800) 
#define T2CONSET PIC32_R (0x0808) 
#define TMR2  PIC32_R (0x0810) 
#define PR2   PIC32_R (0x0820) 

Я попытался добавить строки для таймера 4 с правильными адресами, но это не решает проблему. Так что я хочу сделать вместо этого (если нет лучшего разрешения), это иметь возможность вызывать адрес без использования предопределенных значений. Таймер 4 имеет виртуальный адрес 0x0C00 до 0x0C20. Как получить доступ к этим адресам и настроить таймер?

Answer 1

Решение было установить адрес в качестве летучего знака указателя INT, который затем может быть использован для доступа таймера 4:

volatile unsigned int *T4CON = 0x****0C00; 

Однако я в конечном итоге только с помощью таймера 2, изменяя способ, которым я обрабатываются переполнения флаги так что он может быть обнаружен различными компонентами в коде.