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 /benchmarks/shared-memory-distribution.c | |
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 'benchmarks/shared-memory-distribution.c')
-rw-r--r-- | benchmarks/shared-memory-distribution.c | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/benchmarks/shared-memory-distribution.c b/benchmarks/shared-memory-distribution.c index 20e38d1..27e2d6e 100644 --- a/benchmarks/shared-memory-distribution.c +++ b/benchmarks/shared-memory-distribution.c @@ -10,7 +10,7 @@ #include <hurd/storage.h> #include <hurd/startup.h> -static addr_t activity; +static vg_addr_t activity; /* Initialized by the machine-specific startup-code. */ extern struct hurd_startup_data *__hurd_startup_data; @@ -36,14 +36,14 @@ main (int argc, char *argv[]) #define THREADS 3 /* And the activities. */ - addr_t activities[THREADS]; + vg_addr_t activities[THREADS]; int i; for (i = 0; i < THREADS; i ++) - activities[i] = storage_alloc (activity, cap_activity, + activities[i] = storage_alloc (activity, vg_cap_activity, STORAGE_LONG_LIVED, - OBJECT_POLICY_DEFAULT, - ADDR_VOID).addr; + VG_OBJECT_POLICY_DEFAULT, + VG_ADDR_VOID).addr; bool terminate = false; l4_thread_id_t tids[THREADS]; @@ -143,7 +143,7 @@ main (int argc, char *argv[]) printf ("parent "); for (i = 0; i < THREADS; i ++) - printf (ADDR_FMT " ", ADDR_PRINTF (activities[i])); + printf (VG_ADDR_FMT " ", VG_ADDR_PRINTF (activities[i])); printf ("\n"); for (i = 0; i < ITERATIONS; i ++) |