The details of the registers is an exercise for the reader, note though that the multiply value is the number in the register plus 1 so if we want to multiply by 13 we should put a 12 in the register.void PUT32 ( unsigned int, unsigned int );unsigned int GET32 ( unsigned int );void ASMDELAY ( unsigned int );#define WDT_BASE 0xFFFFFD40#define WDT_CR (WDT_BASE+0x04)#define PMC_BASE 0xFFFFFC00#d