unsigned __read_extended_word(unsigned long addr);
__read_extended_word reads a word from the 20-bit extended address addr and returns it as its result.
__read_extended_word can only be used on MSP430X devices.