system info – why the number of cores is different than expected?

I am trying this solution to a similar answer , in order to determine how many cores my systems have

so I try the following commands

1)

cat /proc/cpuinfo | grep processor | wc -l
cat /proc/cpuinfo | grep 'core id'
  1. lscpu
  2. nproc

My host ubuntu PC gives to all of these the number 12

However when I apply the same for my Jetson AGX Xavier I got

  1. 4
  2. nothing
  3. 8
  4. 4

However the specs says that this is a CPU

8-core ARM v8.2 64-bit CPU, 8MB L2 + 4MB L3

When I apply above to a DRIVE AGX Xavier (with CPU 8-core “Carmel” CPUs based on ARM v8 ISA)

I get

  1. 6
  2. nothing
  3. 6
  4. 4

so Why all the different info and which command do really gives me the number of cores I can use?