kdebug_secpolicy_policy
kdebug_secpolicy_policy(sp->policy));
const char* kdebug_secpolicy_policy(u_int);