void eeprom_write_dword(
	uint32_t * __p,
	uint32_t __value)

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