Constant PWM_DAT1 

const PWM_DAT1: *mut u32 = _; // {0x3f20c014 as *mut u32}