The K64 Sub-Family Reference Manual from Jan 2014 refers to setting ACTLR[DISDEFWBUF] to disable write buffering, but I can't find any other mention of that register in the document. How does one use this register?
ACTLR is the register of System Control Block of ARM Cortex M4 processor, you may find more detail information for this register from ARM manual: ARM Information Center
