FMCOMMS1-EBZ share memory address in verilog

Hello,

I work on ZC702 plus fmcomms1-ebz and no-os drivers. I know that if we define a share memory in simulink, its address will come in "xparameters.h".

I want to understand how is a share memory is defined in c code and related to verilog. I know that you defined the registers in "adi_regmap", but I don't know how and where they related to verilog.

for example in "dac_test", to reset you write 0x03 in baddr+0x4040. Where is the address (0x4040) defined in verilog?

thanks

Farshid