Commit 82099f40 authored by Josh Kunz's avatar Josh Kunz

Adds some extra documentation comments

parent b101a9e0
Pipeline #128 passed with stage
......@@ -120,12 +120,12 @@ int cap_revoke(struct cspace *cspace, cptr_t c);
void cap_delete(struct cspace *cspace, cptr_t c);
* Allocates a new cspace
* Allocates a new cspace. If no memory could be allocated, returns NULL.
struct cspace * cap_alloc_cspace(void);
* Frees a cspace allocated with cap_alloc_cspace
* Frees a cspace allocated with `cap_alloc_cspace`.
void cap_free_cspace(struct cspace *cspace);
......@@ -126,7 +126,8 @@ static inline void cap_clear_bit(int nr, volatile unsigned long *addr)
* Memory.
* Allocates a chunk of memory of 'nmemb * size' bytes. Returns NULL if the
* allocation fails.
static inline void *cap_zalloc(size_t nmemb, size_t size)
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment