armv7-a/r:cp15_invalidate_dcache_all: fix Sets mask error.

[zhuyanlinzyl]

As NumSets field is bits 13-27, use 0x7fff instead.
And add way to get from CCSIDR.

Summary

Impact

No, bug fix

Testing

[masayuki2009]

@zhuyanlinzyl @xiaoxiang781216
Humm, sabre-6quad:smp with QEMU does not boot now.

If I revert this PR it works again.
Could you confirm what is happening with QEMU?

[zhuyanlinzyl]

hi, @masayuki2009.

I build sabre-6quad:smp and try in QEMU, but it still hang without this patch.

Did I use the wrong command, Can you share the shell command with me?

$ qemu-system-arm -M sabrelite -kernel nuttx -nographic

[masayuki2009]

@zhuyanlinzyl

Did I use the wrong command, Can you share the shell command with me?

Please refer the following link
https://github.com/apache/incubator-nuttx/blob/b0d24f53c4be391f2e0081ef4bba4f5058e54f9e/boards/arm/imx6/sabre-6quad/README.txt#L643

NOTE: If you just start the qemu without GDB, you can remove -s -S options.

[zhuyanlinzyl]

hi， @masayuki2009

It's my mistake, a4 register not save in cp15_invalidate_dcache_all.

I fixed it in PR #5367

I verify in sabre-6quad:smp build. You can have a try.