Clarifications on Jetson TX2 board power monitoring

I have couple of questions on NVIDIA Jetson TX2 power monitoring

The Jestson TX2 thermal design guide mentions the I2C addresses of INA3221 power monitors as 0x40 and 0x41.
The voltage rails mentioned are VDD_GPU, VDD_SOC, VDD_WIFI (power monitor 1: 0x40) and VDD_IN, VDD_CPU, VDD_DDR (power monitor 2: 0x41)

However, Jetson TX2 Developer Kit Carrier Board specification document and the schematic, mentions the I2C addresses of INA3221 power monitors as 0x42 and 0x43.
The supply rails measured are VDD_MUX, VDD_5V0_IO_SYS, VDD_3V3_SYS (power monitor 1: 0x42) and VDD_3V3_SLP, VDD_1V8 and VDD_3V3_SYS_M2 (power monitor 2: 0x43)

  1. What is the correct I2C address? Is this an error in the document or am I missing something?
  2. How do I map the naming of voltage rails in these two documents?

I basically want to measure the power consumed by the external wiFi device that I connect to M.2 port.
Does VDD_WIFI measure the power of the external wiFi device or the internal wiFi device?

Hi, there are two sets of power monitors, one set with 2 monitors is in module, another set is on carrier board.

0x40 and 0x41 are the address of monitors in module.
0x42 and 0x43 are the address of monitors on carrier board.

The VDD_WIFI is to wifi part in module, not to M.2 port. It is monitored by the one with address 0x40.