How to know the GPIO base addres by memory map control

hi,

what I ask is for the below number definition
the Topic 220249 seems not meet I want.

#define AON_GPIO_BASE (0x0c2F0000 + 0x01000)
// gpio-tegra186.c TEGRA194_AON_GPIO_PORT(CC, 0, 1, 8)
#define GPIO_SPI2_SCLK 0x0c2F1200
// GPIO3_PCC.02 from gpio-tegra186.c and nvidia(tital: Xavier AGX /dev/mem gpio)
#define GPIO_SPI2_MOSI 0x0c2F1240

#define TEGRA_AON_GPIO_PORT_INFO(port, cid, cind, npins)
[TEGRA_AON_GPIO_PORT_##port] = {
.port_name = #port,
.cont_id = cid,
.port_index = cind,
.valid_pins = npins,
.reg_index = 1,
.scr_offset = cind * 0x40,
.reg_offset = cind * 0x200,
}

GPIO_SPI2_SCLK is 0x0c2F1200 ?
GPIO_SPI2_MOSI is 0x0c2F1240 ?
how to caculate?

but in pinmux config file
pinmux.0x0c302048 = 0x00000400; # spi2_sck_pcc0: spi2, tristate-disable, input-disable, io_high_voltage-disable, lpdr-disable
pinmux.0x0c302028 = 0x00000400; # spi2_mosi_pcc2: spi2, tristate-disable, input-disable, io_high_voltage-disable, lpdr-disable