AT91SAM7S256
Не могу прочитать значения регистра WDT

int main( void ) {

*AT91C_WDTC_WDMR =(0x1 << 15)|(0x1<<12); вот тут задаю значения.
mr=*AT91C_WDTC_WDMR;
printf ("AT91C_WDTC_WDMR=%ld\n",mr );


И вот в терминал мне отправляет, всегда одно и тоже самое, чтобы я не записал в *AT91C_WDTC_WDMR.
AT91C_WDTC_WDMR=32768

А в него можно записать только один раз. Не может ли быть такого, что startup - код, сгенерированный компилятором, уже записал этот регистр, и ваша запись игнорируется ?

все понял, спасибо )