From 78fac054fa9db41afba0d39bc8c98c02b92655da Mon Sep 17 00:00:00 2001 From: thorpej Date: Sat, 3 May 2003 17:32:59 +0000 Subject: [PATCH] In db_write_bytes(), use kernel_text rather than KERNEL_TEXT_BASE. --- sys/arch/arm/arm32/db_interface.c | 10 +++------- 1 file changed, 3 insertions(+), 7 deletions(-) diff --git a/sys/arch/arm/arm32/db_interface.c b/sys/arch/arm/arm32/db_interface.c index 3b9bf97a2b19..81de76720ccd 100644 --- a/sys/arch/arm/arm32/db_interface.c +++ b/sys/arch/arm/arm32/db_interface.c @@ -1,4 +1,4 @@ -/* $NetBSD: db_interface.c,v 1.26 2003/05/03 17:29:27 thorpej Exp $ */ +/* $NetBSD: db_interface.c,v 1.27 2003/05/03 17:32:59 thorpej Exp $ */ /* * Copyright (c) 1996 Scott K. Stevens @@ -308,17 +308,13 @@ db_write_text(vaddr_t addr, size_t size, char *data) void db_write_bytes(vaddr_t addr, size_t size, char *data) { + extern char kernel_text[]; extern char etext[]; char *dst; size_t loop; /* If any part is in kernel text, use db_write_text() */ -#ifndef ARM32_NEW_VM_LAYOUT - if (addr >= KERNEL_TEXT_BASE && addr < (vaddr_t) etext) -#else - if (addr >= KERNEL_BASE && addr < (vaddr_t) etext) -#endif - { + if (addr >= (vaddr_t) kernel_text && addr < (vaddr_t) etext) { db_write_text(addr, size, data); return; }