brand_solaris_freelwp
brand_solaris_freelwp(l, &sn1_brand);
brand_solaris_freelwp(l, &s10_brand);
(void) brand_solaris_freelwp(ttolwp(curthread), pbrand);
(void) brand_solaris_freelwp(l, pbrand);
extern void brand_solaris_freelwp(klwp_t *, struct brand *);