17 Oct
2014
17 Oct
'14
5:21 a.m.
Hi All,
In sel4, how can a process/thread get the capability of its virtual address? I know there is function vspace_get_cap(vspace_t *vspace, void *vaddr)
But how can I know the current vspace the process/thread is in?
Thank you very much. Yuxin