Arduino Due using the same language ?

Official Hardware Mega Due
10

Which is what pico (above) had:

  uint32_t *p = (uint32_t *)0x40094000; // set up int pointer to address

He was using the pointer, not just the number.