Re: kern/38298

[Martin Husemann]

The following reply was made to PR kern/38298; it has been noted by GNATS.

From: Martin Husemann <martin@xxxxxxxxxxx>
To: gnats-bugs@xxxxxxxxxx
Cc: 
Subject: Re: kern/38298
Date: Wed, 26 Mar 2008 21:37:33 +0100

 The 0x00004000 needs a symbolic name (CB_SOCKET_FORCE_*, and maybe
 CB_SOCKET_STAT_*).
 
 So what happens is that the slot is in badvcc state and won't power down?
 Wouldn't it be better to detect and handle that inside pccbb_power()?
 
 Martin