Commit 189fd73e authored by Vikram Narayanan's avatar Vikram Narayanan

lcd/cap: Add helper for retrieving cspace of the current->lcd

Signed-off-by: Vikram Narayanan's avatarVikram Narayanan <vikram186@gmail.com>
parent 8c8950c4
......@@ -62,4 +62,5 @@ int lcd_cptr_alloc(cptr_t *slot_out);
*/
void lcd_cptr_free(cptr_t slot);
struct cspace *get_current_cspace(struct task_struct *c);
#endif /* LCD_DOMAINS_CAP_H */
......@@ -29,9 +29,14 @@ void lcd_cptr_free(cptr_t slot)
cptr_free(current->cptr_cache, slot);
}
struct cspace *get_current_cspace(struct task_struct *c)
{
return current->lcd->cspace;
}
/* EXPORTS -------------------------------------------------- */
EXPORT_SYMBOL(lcd_cap_delete);
EXPORT_SYMBOL(lcd_cap_revoke);
EXPORT_SYMBOL(lcd_cptr_alloc);
EXPORT_SYMBOL(lcd_cptr_free);
EXPORT_SYMBOL(get_current_cspace);
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