kernel-interface: Add method to increase refcount for allocated reqid

This commit is contained in:
Tobias Brunner
2023-11-13 12:02:11 +01:00
parent 02180ae2ff
commit e623f5792b
2 changed files with 30 additions and 0 deletions
+12
View File
@@ -158,6 +158,18 @@ struct kernel_interface_t {
uint32_t if_id_out, sec_label_t *label,
uint32_t *reqid);
/**
* Increase the reference count for the given reqid that was previously
* allocated by alloc_reqid().
*
* The reference must be released with a call to release_reqid().
*
* @param reqid previously allocated reqid
* @return SUCCESS if refcount increased, NOT_FOUND if reqid is
* unknown (shouldn't happen)
*/
status_t (*ref_reqid)(kernel_interface_t *this, uint32_t reqid);
/**
* Release a previously allocated reqid.
*