Searched refs:cap_held (Results 1 – 3 of 3) sorted by relevance
202 cap_rights_t cap_held; member
2041 sysdecode_cap_rights(stdout, &ktr->cap_held); in ktrcapfail()2046 sysdecode_cap_rights(stdout, &ktr->cap_held); in ktrcapfail()2062 sysdecode_cap_rights(stdout, &ktr->cap_held); in ktrcapfail()
943 kcf->cap_held = *held; in ktrcapfail()945 cap_rights_init(&kcf->cap_held); in ktrcapfail()