Attachment 83569 Details for Bug 119358 – file.diff

[patch] file.diff

file.diff (text/plain), 1.43 KB, created by Dan Lukes on 2008-01-05 13:30:01 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Dan Lukes

Created: 2008-01-05 13:30:01 UTC

Size: 1.43 KB

patch

obsolete

>--- sys/kern/init_main.c.ORIG	2008-01-05 12:44:57.000000000 +0100
>+++ sys/kern/init_main.c	2008-01-05 13:01:42.000000000 +0100
>@@ -200,7 +200,7 @@
> 	}
> 
> #if defined(VERBOSE_SYSINIT)
>-	last = SI_SUB_COPYRIGHT;
>+	last = SI_SUB_COPYRIGHT-1;
> 	verbose = 0;
> #if !defined(DDB)
> 	printf("VERBOSE_SYSINIT: DDB not enabled, symbol lookups disabled.\n");
>@@ -231,18 +231,31 @@
> 		if (verbose) {
> #if defined(DDB)
> 			const char *name;
>+			const char *pname;
> 			c_db_sym_t sym;
> 			db_expr_t  offset;
> 
> 			sym = db_search_symbol((vm_offset_t)(*sipp)->func,
> 			    DB_STGY_PROC, &offset);
> 			db_symbol_values(sym, &name, NULL);
>+			sym = db_search_symbol((vm_offset_t)(*sipp)->udata,
>+			    DB_STGY_ANY, &offset);
>+			if (offset == 0)
>+				db_symbol_values(sym, &pname, NULL);
>+			else
>+				pname=NULL;
>+				
> 			if (name != NULL)
>-				printf("   %s(%p)... ", name, (*sipp)->udata);
>+				printf("   %s", name);
>+			else
>+#endif
>+				printf("   %p", (*sipp)->func);
>+#if defined(DDB)
>+			if (pname != NULL)
>+				printf("(%s=%p)... ", pname, (*sipp)->udata);
> 			else
> #endif
>-				printf("   %p(%p)... ", (*sipp)->func,
>-				    (*sipp)->udata);
>+				printf("(%p)... ", (*sipp)->udata);
> 		}
> #endif
> 
>@@ -265,6 +278,10 @@
> 			sysinit_end = newsysinit_end;
> 			newsysinit = NULL;
> 			newsysinit_end = NULL;
>+#if defined(VERBOSE_SYSINIT)
>+			if (verbose)
>+				printf("VERBOSE_SYSINIT: new sysinit set found, processing restarted.\n");
>+#endif
> 			goto restart;
> 		}
> 	}

Actions: View | Diff

Attachments on bug 119358: 83569