Addresses in bootloader are different than tsv?

[Mark81]

During startup I read the following on the console:

INFO: Loading image id=4 at address 0x2fff0000
INFO: Image id=4 loaded: 0x2fff0000 - 0x30000000
INFO: BL2: Loading image id 5
INFO: Loading image id=5 at address 0xc0100000
INFO: STM32 Image size : 801160

But those addresses are different than the ones reported into the tsv file:

#Opt	Id	 Name	 Type	IP Offset	 Binary
-	 0x01	fsbl1-boot	Binary	none	0x0	 tf-a-stm32mp151a-myprj-mx-trusted.stm32
-	 0x03	ssbl-boot	Binary	none	0x0	 u-boot-stm32mp151a-myprj-mx-trusted.stm32
P	 0x04	fsbl1	 Binary	mmc0	0x00004400 tf-a-stm32mp151a-myprj-mx-trusted.stm32
P	 0x05	fsbl2	 Binary	mmc0	0x00044400 tf-a-stm32mp151a-myprj-mx-trusted.stm32

How they are defined?

How to check they are correct?

[PatrickF]

TSV file define the address where to program the image within the Flash.

The load address in device memory (SYSRAM, DDR) is different and are defined inside each binary image (likely defined at compile time).