Programmable configuration registers are addressed with pointer variables. The programmer must take additional steps:
The address range should be flagged write-through (not cached.) This is NOT a language convention, this is done with supportive libraries.
If the register is both written, and then subsequently READ then the pointer should be flagged as "volatile" telling the compiler "do NOT perform optimizations that avoid reading this value from memory."