You need to make sure that the kernel has been compiled with debug info enabled. Please check page 16 of the following document for more info:
https://www.lauterbach.com/pdf/training_rtos_linux.pdf#page=16
MMU.FORMAT LINUX swapper_pg_dir 0xFFFFFFC000000000--0xFFFFFFDF00000000 0x0000000080000000
The used addresses and format could be wrong:
Format: if CONFIG_SWAP is set then please use LINUXSWAP3, use otherwise LINUX
For the addresses, you can use
MMU.FORMAT <format> swapper_pg_dir_text--(_end-1) <_text_phys_addr>
You can find <_text_phys_addr> with the command MMU.List PageTable _text
TRANSLATION.COMMON 0xFFFFFFBF00000000--0ffffffffffffffff
use instead TRANSLATION.COMMON 0xF000000000000000--0ffffffffffffffff
Alternatively, you can use the script ~~/demo/<arm|arm64>/kernel/linux/board/generic-template/detect_translation.cmm to detect the settings.