>> However, what's the right thing to do for
>> 	printf("foo "); printf("bar "); printf("baz");
>> right now, each of those separately acquires and releases the relevant
>> lock, and so can be split up.
>Right.

	Just checking, DAD message is printed in single printf() call.
	Device attachment messages like following:
>>ne2 at pcmcia1 function 0 port 0x340-0x34f port 0x350-0x35f
	are not.

	See sys/netinet6/nd6_nbr.c.

itojun