diff options
author | Neal H. Walfield <neal@gnu.org> | 2008-12-17 18:45:14 +0100 |
---|---|---|
committer | Neal H. Walfield <neal@gnu.org> | 2008-12-17 18:45:14 +0100 |
commit | 4b34130b861911b2fbc62e706239d55ce817d203 (patch) | |
tree | 0fb7f4a87b0813e7884b86b7a0a7390265083a2d /viengoos/thread.h | |
parent | a7416b7c63f4954ff78eecf31e5146cb86cda6a6 (diff) |
Add a "vg_" to public viengoos identifiers.
2008-12-17 Neal H. Walfield <neal@gnu.org>
* viengoos/activity.h: Add a "vg_" to public viengoos identifiers.
Update users.
* viengoos/addr-trans.h: Likewise.
* viengoos/addr.h: Likewise.
* viengoos/cap.h: Likewise.
* viengoos/folio.h: Likewise.
* viengoos/futex.h: Likewise.
* viengoos/rpc.h: Likewise.
* viengoos/thread.h: Likewise.
Diffstat (limited to 'viengoos/thread.h')
-rw-r--r-- | viengoos/thread.h | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/viengoos/thread.h b/viengoos/thread.h index f869d0b..912137a 100644 --- a/viengoos/thread.h +++ b/viengoos/thread.h @@ -34,18 +34,18 @@ struct thread /* User accessible fields. */ /* Address space. */ - struct cap aspace; + struct vg_cap aspace; /* The current associated activity. (Not the activity out of which this thread's storage is allocated!) */ - struct cap activity; + struct vg_cap activity; /* A capability designating a messenger to which to deliver exceptions. */ - struct cap exception_messenger; + struct vg_cap exception_messenger; /* A capability the page that contains the thread's UTCB. */ - struct cap utcb; + struct vg_cap utcb; /* Non-user-accessible fields. */ @@ -95,11 +95,11 @@ extern void thread_decommission (struct thread *thread); not set the pager. */ extern error_t thread_exregs (struct activity *principal, struct thread *thread, uintptr_t control, - struct cap aspace, - uintptr_t flags, struct cap_properties properties, - struct cap activity, - struct cap utcb, - struct cap exception_messenger, + struct vg_cap aspace, + uintptr_t flags, struct vg_cap_properties properties, + struct vg_cap activity, + struct vg_cap utcb, + struct vg_cap exception_messenger, uintptr_t *sp, uintptr_t *ip, uintptr_t *eflags, uintptr_t *user_handle); |