rtos/linux.c: Fix Linux user space border check

Linux kernel and user space border is 0xc0000000 not 0xc000000

Signed-off-by: panciyan <panciyan@eswincomputing.com>
Change-Id: I6b487cce62ac31737deca97d5f5f7bbc081280f4
Reviewed-on: https://review.openocd.org/c/openocd/+/7570
Tested-by: jenkins
Reviewed-by: Antonio Borneo <borneo.antonio@gmail.com>

diff --git a/src/rtos/linux.c b/src/rtos/linux.c
index f9edabc2bfd63e5056f46772334d57f397d2579f..7517ec7a9a5d85618e601adf617b9fa420c4cb00 100644 (file)
--- a/src/rtos/linux.c
+++ b/src/rtos/linux.c
@@ -123,7 +123,7 @@ static int linux_read_memory(struct target *target,
                target->rtos->rtos_specific_params;
        uint32_t pa = (address & linux_os->phys_mask) + linux_os->phys_base;
 #endif
-       if (address < 0xc000000) {
+       if (address < 0xc0000000) {
                LOG_ERROR("linux awareness : address in user space");
                return ERROR_FAIL;
        }