char xdata eeprom_david @ 0x0123;
...
contents = EEPROM_Read(&eeprom_david);
contents = EEPROM_Read(0x0123);