ddi_get_kt_did
fxpp->fx_ktid = ddi_get_kt_did();
if ((fxpp = fx_list_lookup(ddi_get_kt_did())) == NULL) {
return (slot->s_owner == ddi_get_kt_did());
kt_did_t self = ddi_get_kt_did();
ddi_get_kt_did(void);