void __write_extended_long(unsigned long addr, unsigned long value);
__write_extended_long writes the long value to the 20-bit extended address addr.
__write_extended_long can only be used on MSP430X devices.