1 #include <stdlib.h>
2 #include <string.h>
3 #include "exhaust.h"
4 #include "pspace.h"
5
6 field_t
pspace_get(const pspace_t * p,u32_t paddr)7 pspace_get(const pspace_t *p, u32_t paddr)
8 {
9 paddr = paddr % p->len;
10 return paddr==0 ? p->lastresult : p->mem[paddr];
11 }
12
13 void
pspace_set(pspace_t * p,u32_t paddr,field_t val)14 pspace_set(pspace_t *p, u32_t paddr, field_t val)
15 {
16 paddr = paddr % p->len;
17 if ( paddr == 0 ) {
18 p->lastresult = val;
19 } else {
20 p->mem[paddr] = val;
21 }
22 }
23
24 void
pspace_clear(pspace_t * p)25 pspace_clear(pspace_t *p)
26 {
27 p->lastresult = 0;
28 memset(p->mem, 0, sizeof(field_t)*p->len);
29 }
30
31 void
pspace_free(pspace_t * p)32 pspace_free(pspace_t *p)
33 {
34 if (p) {
35 if (p->ownmem){
36 free(p->ownmem);
37 }
38 free(p);
39 }
40 }
41
42 pspace_t *
pspace_alloc(u32_t pspacesize)43 pspace_alloc(u32_t pspacesize)
44 {
45 pspace_t *p;
46 if (( p = (pspace_t*)malloc(sizeof(pspace_t)))) {
47 p->len = pspacesize;
48 if (!( p->ownmem = (field_t*)malloc(sizeof(field_t)*p->len))) {
49 pspace_free(p);
50 p = NULL;
51 }
52 p->mem = p->ownmem;
53 }
54 return p;
55 }
56
57
58 void
pspace_share(const pspace_t * shared,pspace_t * sharer)59 pspace_share(const pspace_t *shared, pspace_t *sharer)
60 {
61 sharer->mem = shared->mem;
62 }
63
64 void
pspace_privatise(pspace_t * p)65 pspace_privatise(pspace_t *p)
66 {
67 p->mem = p->ownmem;
68 }
69