Searched refs:cap_held (Results 1 – 3 of 3) sorted by relevance
203 cap_rights_t cap_held; member
2090 sysdecode_cap_rights(stdout, &ktr->cap_held); in ktrcapfail()2095 sysdecode_cap_rights(stdout, &ktr->cap_held); in ktrcapfail()2111 sysdecode_cap_rights(stdout, &ktr->cap_held); in ktrcapfail()
941 kcf->cap_held = *held; in ktrcapfail()943 cap_rights_init(&kcf->cap_held); in ktrcapfail()