Compiler/TM4C129ENCPDT: EEPROMRead strange

Part Number:TM4C129ENCPDT

Tool/software: TI C/C++ Compiler

Hi,

I wanted to use a code as

uint32_t puDaten[3];
ROM_EEPROMRead(puDaten, TELNET_PWD_MEM_ADDR,12/4);

but this does not work, as I had the argument 12/4 in ROM_EEPROMRead. If I change this to 3, this will work.

Did I miss something or is it a bug?

Regards

Michael