PIPS
kernel_memory_mapping.h File Reference
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures

struct  _newgen_struct_memory_mapping_
 

Macros

#define _gen_kernel_memory_mapping_start   116
 
#define _newgen_entity_domain_defined_
 
#define ENTITY_NEWGEN_DOMAIN   (entity_domain)
 
#define entity_NEWGEN_DOMAIN   (entity_domain)
 
#define memory_mapping_domain   (_gen_kernel_memory_mapping_start+0)
 newgen_entity_domain_defined More...
 
#define _newgen_memory_mapping_domain_defined_
 
#define MEMORY_MAPPING_NEWGEN_DOMAIN   (memory_mapping_domain)
 
#define memory_mapping_NEWGEN_DOMAIN   (memory_mapping_domain)
 
#define MEMORY_MAPPING(x)   ((memory_mapping)((x).p))
 newgen_memory_mapping_domain_defined More...
 
#define memory_mapping_CAST(x)   MEMORY_MAPPING(x)
 
#define MEMORY_MAPPING_CAST(x)   MEMORY_MAPPING(x)
 
#define MEMORY_MAPPING_(x)   ((x).e)
 
#define MEMORY_MAPPING_TYPE   memory_mapping
 
#define memory_mapping_TYPE   memory_mapping
 
#define memory_mapping_undefined   ((memory_mapping)gen_chunk_undefined)
 
#define memory_mapping_undefined_p(x)   ((x)==memory_mapping_undefined)
 
#define gen_MEMORY_MAPPING_cons   gen_memory_mapping_cons
 
#define memory_mapping_domain_number(x)   ((x)->_type_)
 
#define memory_mapping_map(x)   ((x)->_memory_mapping_holder_)
 
#define kernel_memory_mapping_spec   "\--NEWGEN-START 116\n\import entity from \"ri.newgen\";\n\memory_mapping = map:entity{};\n\"
 

Typedefs

typedef struct _newgen_struct_entity_entity
 
typedef struct _newgen_struct_memory_mapping_memory_mapping
 

Functions

memory_mapping copy_memory_mapping (memory_mapping)
 MEMORY_MAPPING. More...
 
void free_memory_mapping (memory_mapping)
 
memory_mapping check_memory_mapping (memory_mapping)
 
bool memory_mapping_consistent_p (memory_mapping)
 
bool memory_mapping_defined_p (memory_mapping)
 
list gen_memory_mapping_cons (memory_mapping, list)
 
void memory_mapping_assign_contents (memory_mapping, memory_mapping)
 
void memory_mapping_non_recursive_free (memory_mapping)
 
void write_memory_mapping (FILE *, memory_mapping)
 
memory_mapping read_memory_mapping (FILE *)
 
memory_mapping make_memory_mapping (set)
 

Macro Definition Documentation

◆ _gen_kernel_memory_mapping_start

#define _gen_kernel_memory_mapping_start   116

Definition at line 3 of file kernel_memory_mapping.h.

◆ _newgen_entity_domain_defined_

#define _newgen_entity_domain_defined_

Definition at line 11 of file kernel_memory_mapping.h.

◆ _newgen_memory_mapping_domain_defined_

#define _newgen_memory_mapping_domain_defined_

Definition at line 19 of file kernel_memory_mapping.h.

◆ ENTITY_NEWGEN_DOMAIN

#define ENTITY_NEWGEN_DOMAIN   (entity_domain)

Definition at line 12 of file kernel_memory_mapping.h.

◆ entity_NEWGEN_DOMAIN

#define entity_NEWGEN_DOMAIN   (entity_domain)

Definition at line 13 of file kernel_memory_mapping.h.

◆ gen_MEMORY_MAPPING_cons

#define gen_MEMORY_MAPPING_cons   gen_memory_mapping_cons

Definition at line 41 of file kernel_memory_mapping.h.

◆ kernel_memory_mapping_spec

#define kernel_memory_mapping_spec   "\--NEWGEN-START 116\n\import entity from \"ri.newgen\";\n\memory_mapping = map:entity{};\n\"

Definition at line 57 of file kernel_memory_mapping.h.

◆ MEMORY_MAPPING

#define MEMORY_MAPPING (   x)    ((memory_mapping)((x).p))

newgen_memory_mapping_domain_defined

MEMORY_MAPPING

Definition at line 27 of file kernel_memory_mapping.h.

◆ MEMORY_MAPPING_

#define MEMORY_MAPPING_ (   x)    ((x).e)

Definition at line 30 of file kernel_memory_mapping.h.

◆ memory_mapping_CAST

#define memory_mapping_CAST (   x)    MEMORY_MAPPING(x)

Definition at line 28 of file kernel_memory_mapping.h.

◆ MEMORY_MAPPING_CAST

#define MEMORY_MAPPING_CAST (   x)    MEMORY_MAPPING(x)

Definition at line 29 of file kernel_memory_mapping.h.

◆ memory_mapping_domain

#define memory_mapping_domain   (_gen_kernel_memory_mapping_start+0)

newgen_entity_domain_defined

Definition at line 17 of file kernel_memory_mapping.h.

◆ memory_mapping_domain_number

#define memory_mapping_domain_number (   x)    ((x)->_type_)

Definition at line 54 of file kernel_memory_mapping.h.

◆ memory_mapping_map

#define memory_mapping_map (   x)    ((x)->_memory_mapping_holder_)

Definition at line 55 of file kernel_memory_mapping.h.

◆ MEMORY_MAPPING_NEWGEN_DOMAIN

#define MEMORY_MAPPING_NEWGEN_DOMAIN   (memory_mapping_domain)

Definition at line 20 of file kernel_memory_mapping.h.

◆ memory_mapping_NEWGEN_DOMAIN

#define memory_mapping_NEWGEN_DOMAIN   (memory_mapping_domain)

Definition at line 21 of file kernel_memory_mapping.h.

◆ MEMORY_MAPPING_TYPE

#define MEMORY_MAPPING_TYPE   memory_mapping

Definition at line 31 of file kernel_memory_mapping.h.

◆ memory_mapping_TYPE

#define memory_mapping_TYPE   memory_mapping

Definition at line 32 of file kernel_memory_mapping.h.

◆ memory_mapping_undefined

#define memory_mapping_undefined   ((memory_mapping)gen_chunk_undefined)

Definition at line 33 of file kernel_memory_mapping.h.

◆ memory_mapping_undefined_p

#define memory_mapping_undefined_p (   x)    ((x)==memory_mapping_undefined)

Definition at line 34 of file kernel_memory_mapping.h.

Typedef Documentation

◆ entity

typedef struct _newgen_struct_entity_* entity

Definition at line 14 of file kernel_memory_mapping.h.

◆ memory_mapping

Definition at line 22 of file kernel_memory_mapping.h.

Function Documentation

◆ check_memory_mapping()

memory_mapping check_memory_mapping ( memory_mapping  p)

Definition at line 22 of file kernel_memory_mapping.c.

22  {
24 }
gen_chunk * gen_check(gen_chunk *obj, int t)
GEN_CHECK checks that the gen_chunk received OBJ is of the appropriate TYPE.
Definition: genClib.c:2356
#define memory_mapping_domain
newgen_entity_domain_defined
A gen_chunk is used to store every object.
Definition: genC.h:58

References gen_check(), and memory_mapping_domain.

Referenced by memory_mapping_assign_contents(), and memory_mapping_consistent_p().

+ Here is the call graph for this function:
+ Here is the caller graph for this function:

◆ copy_memory_mapping()

memory_mapping copy_memory_mapping ( memory_mapping  p)

MEMORY_MAPPING.

Definition at line 16 of file kernel_memory_mapping.c.

16  {
17  return (memory_mapping) gen_copy_tree((gen_chunk*) p);
18 }
gen_chunk * gen_copy_tree(gen_chunk *obj)
Definition: genClib.c:1429

References gen_copy_tree().

+ Here is the call graph for this function:

◆ free_memory_mapping()

void free_memory_mapping ( memory_mapping  p)

Definition at line 19 of file kernel_memory_mapping.c.

19  {
20  gen_free((gen_chunk*) p);
21 }
void gen_free(gen_chunk *obj)
version without shared_pointers.
Definition: genClib.c:992

References gen_free().

+ Here is the call graph for this function:

◆ gen_memory_mapping_cons()

list gen_memory_mapping_cons ( memory_mapping  p,
list  l 
)

Definition at line 32 of file kernel_memory_mapping.c.

32  {
34 }
list gen_typed_cons(_int type, const void *item, const list next)
CONS a list with minimal type checking this cannot be done within the CONS macro because possible fun...
Definition: list.c:900
#define MEMORY_MAPPING_NEWGEN_DOMAIN

References gen_typed_cons(), and MEMORY_MAPPING_NEWGEN_DOMAIN.

+ Here is the call graph for this function:

◆ make_memory_mapping()

memory_mapping make_memory_mapping ( set  a)

Definition at line 52 of file kernel_memory_mapping.c.

52  {
54 }
#define GEN_CHECK_ALLOC
Definition: genC.h:307
gen_chunk * gen_alloc(int size, int gen_check_p, int dom,...)
allocates something in newgen.
Definition: genClib.c:298

References gen_alloc(), GEN_CHECK_ALLOC, and memory_mapping_domain.

Referenced by kernel_data_mapping().

+ Here is the call graph for this function:
+ Here is the caller graph for this function:

◆ memory_mapping_assign_contents()

void memory_mapping_assign_contents ( memory_mapping  r,
memory_mapping  v 
)

Definition at line 35 of file kernel_memory_mapping.c.

35  {
38  message_assert("defined references to domain memory_mapping",
40  memcpy(r, v, sizeof(struct _newgen_struct_memory_mapping_));
41 }
memory_mapping check_memory_mapping(memory_mapping p)
bool memory_mapping_defined_p(memory_mapping p)
#define message_assert(msg, ex)
Definition: newgen_assert.h:47

References check_memory_mapping(), memory_mapping_defined_p(), and message_assert.

+ Here is the call graph for this function:

◆ memory_mapping_consistent_p()

bool memory_mapping_consistent_p ( memory_mapping  p)

Definition at line 25 of file kernel_memory_mapping.c.

25  {
27  return gen_consistent_p((gen_chunk*) p);
28 }
int gen_consistent_p(gen_chunk *obj)
GEN_CONSISTENT_P dynamically checks the type correctness of OBJ.
Definition: genClib.c:2398

References check_memory_mapping(), and gen_consistent_p().

+ Here is the call graph for this function:

◆ memory_mapping_defined_p()

bool memory_mapping_defined_p ( memory_mapping  p)

Definition at line 29 of file kernel_memory_mapping.c.

29  {
30  return gen_defined_p((gen_chunk*) p);
31 }
int gen_defined_p(gen_chunk *obj)
Definition: genClib.c:2438

References gen_defined_p().

Referenced by memory_mapping_assign_contents().

+ Here is the call graph for this function:
+ Here is the caller graph for this function:

◆ memory_mapping_non_recursive_free()

void memory_mapping_non_recursive_free ( memory_mapping  p)

Definition at line 42 of file kernel_memory_mapping.c.

42  {
43  // should clear up contents...
44  free(p);
45 }
void free(void *)

References free().

+ Here is the call graph for this function:

◆ read_memory_mapping()

memory_mapping read_memory_mapping ( FILE *  f)

Definition at line 49 of file kernel_memory_mapping.c.

49  {
50  return (memory_mapping) gen_read(f);
51 }
gen_chunk * gen_read(FILE *file)
GEN_READ reads any object from the FILE stream.
Definition: genClib.c:2323
int f(int off1, int off2, int n, float r[n], float a[n], float b[n])
Definition: offsets.c:15

References f(), and gen_read().

+ Here is the call graph for this function:

◆ write_memory_mapping()

void write_memory_mapping ( FILE *  f,
memory_mapping  p 
)

Definition at line 46 of file kernel_memory_mapping.c.

46  {
47  gen_write(f, (gen_chunk*) p);
48 }
void gen_write(FILE *fd, gen_chunk *obj)
GEN_WRITE writes the OBJect on the stream FD.
Definition: genClib.c:1745

References f(), and gen_write().

+ Here is the call graph for this function: