void eeprom_update_dword(
	uint32_t * __p,
	uint32_t __value)

Update a 32-bit double word __value to EEPROM address __p.