TX2 module can be unplugged from the carrier board.
We call the official nv carrier board + its own module = nvidia devkit.
The purpose of my previous comment was to narrow down whether it is a hardware issue on module or carrier board.
It was working fine few hours ago.
According to your comment, it sounds like a hardware issue to me because it suddenly not worked. However, it has less chance to have both TX2 devices broken. When you said “I tried SD card in 2 different Jetson TX2 boards.”, does it mean you have 2 nvidia devkit and you tried the sdcard on both devices?
Are you able to see any thing in dmesg after you hotplug this sdcard?
Below is my log when hotplug sdcard. You could see the mmc2 shows some message when I removed the card.
nvidia@nvidia-desktop:~$ dmesg |grep mmc
[ 0.000000] Kernel command line: root=/dev/mmcblk0p1 rw rootwait rootfstype=ext4 console=ttyS0,115200n8 console=tty0 fbcon=map:0 net.ifnames=0 video=tegrafb no_console_suspend=1 earlycon=uart8250,mmio32,0x3100000 nvdumper_reserved=0x2772e0000 gpt tegra_fbmem2=0x800000@0x9607d000 lut_mem2=0x2008@0x9607a000 usbcore.old_scheme_first=1 tegraid=220.127.116.11.0 maxcpus=6 boot.slot_suffix= boot.ratchetvalues=0.2031647.1 bl_prof_dataptr=0x10000@0x275840000 sdhci_tegra.en_boot_part_access=1 quiet
[ 0.456686] GPIO line 445 (sdmmc-wake-support-input) hogged as input
[ 0.456710] GPIO line 446 (sdmmc-wake-support-output) hogged as output/low
[ 0.562589] vddio-sdmmc1: 1800 <--> 3300 mV at 3300 mV
[ 1.666118] mmc0: SDHCI controller on 3460000.sdhci [3460000.sdhci] using ADMA 64-bit with 64 bit addr
[ 1.674119] mmc1: SDHCI controller on 3440000.sdhci [3440000.sdhci] using ADMA 64-bit with 64 bit addr
[ 1.682248] mmc2: SDHCI controller on 3400000.sdhci [3400000.sdhci] using ADMA 64-bit with 64 bit addr
[ 1.711755] mmc0: mmc_decode_ext_csd: CMDQ supported: depth: 31, cmdq_support: 1
[ 1.726346] mmc0: periodic cache flush enabled
[ 1.726361] mmc0: new HS400 Enhanced strobe MMC card at address 0001
[ 1.726834] mmcblk0: mmc0:0001 032G34 29.1 GiB
[ 1.731087] mmcblk0boot0: mmc0:0001 032G34 partition 1 4.00 MiB
[ 1.731972] mmcblk0boot1: mmc0:0001 032G34 partition 2 4.00 MiB
[ 1.732152] mmcblk0rpmb: mmc0:0001 032G34 partition 3 4.00 MiB
[ 1.735628] mmcblk0: p1 p2 p3 p4 p5 p6 p7 p8 p9 p10 p11 p12 p13 p14 p15 p16 p17 p18 p19 p20 p21 p22 p23 p24 p25 p26 p27 p28 p29 p30 p31 p32 p33
[ 1.896841] mmcblk mmc0:0001: Card claimed for testing.
[ 1.911870] mmc1: hw tuning done ...
[ 1.915793] mmc1: new ultra high speed SDR104 SDIO card at address 0001
[ 2.073088] mmc2: hw tuning done ...
[ 2.073150] mmc2: new ultra high speed SDR104 SDHC card at address b368
[ 2.073663] mmcblk2: mmc2:b368 NCard 14.9 GiB
[ 3.714182] Root device found: mmcblk0p1
[ 3.716506] Found dev node: /dev/mmcblk0p1
[ 4.141943] EXT4-fs (mmcblk0p1): 3 orphan inodes deleted
[ 4.141950] EXT4-fs (mmcblk0p1): recovery complete
[ 4.145649] EXT4-fs (mmcblk0p1): mounted filesystem with ordered data mode. Opts: (null)
[ 4.147267] Rootfs mounted over mmcblk0p1
[ 4.836015] EXT4-fs (mmcblk0p1): re-mounted. Opts: (null)
[ 182.413914] mmc2: Disabling vmmc regulator #something like this line
[ 182.414251] mmc2: card b368 removed #something like this line