Searched refs:null_cap_data (Results 1 – 1 of 1) sorted by relevance
710 cap_data_t cap_data, null_cap_data = { 0 }; in cspace_delete_cap() local732 err = cspace_update_cap_slot(cap, &cap_data, null_cap_data); in cspace_delete_cap()743 err = cspace_update_cap_slot(cap, &cap_data, null_cap_data); in cspace_delete_cap()
Completed in 4 milliseconds