PIPS
|
Go to the source code of this file.
Data Structures | |
struct | _newgen_struct_memory_mapping_ |
Typedefs | |
typedef struct _newgen_struct_entity_ * | entity |
typedef struct _newgen_struct_memory_mapping_ * | memory_mapping |
#define _gen_kernel_memory_mapping_start 116 |
Definition at line 3 of file kernel_memory_mapping.h.
#define _newgen_entity_domain_defined_ |
Definition at line 11 of file kernel_memory_mapping.h.
#define _newgen_memory_mapping_domain_defined_ |
Definition at line 19 of file kernel_memory_mapping.h.
#define ENTITY_NEWGEN_DOMAIN (entity_domain) |
Definition at line 12 of file kernel_memory_mapping.h.
#define entity_NEWGEN_DOMAIN (entity_domain) |
Definition at line 13 of file kernel_memory_mapping.h.
#define gen_MEMORY_MAPPING_cons gen_memory_mapping_cons |
Definition at line 41 of file kernel_memory_mapping.h.
#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.
#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.
Definition at line 30 of file kernel_memory_mapping.h.
#define memory_mapping_CAST | ( | x | ) | MEMORY_MAPPING(x) |
Definition at line 28 of file kernel_memory_mapping.h.
#define MEMORY_MAPPING_CAST | ( | x | ) | MEMORY_MAPPING(x) |
Definition at line 29 of file kernel_memory_mapping.h.
#define memory_mapping_domain (_gen_kernel_memory_mapping_start+0) |
newgen_entity_domain_defined
Definition at line 17 of file kernel_memory_mapping.h.
Definition at line 54 of file kernel_memory_mapping.h.
Definition at line 55 of file kernel_memory_mapping.h.
#define MEMORY_MAPPING_NEWGEN_DOMAIN (memory_mapping_domain) |
Definition at line 20 of file kernel_memory_mapping.h.
#define memory_mapping_NEWGEN_DOMAIN (memory_mapping_domain) |
Definition at line 21 of file kernel_memory_mapping.h.
#define MEMORY_MAPPING_TYPE memory_mapping |
Definition at line 31 of file kernel_memory_mapping.h.
#define memory_mapping_TYPE memory_mapping |
Definition at line 32 of file kernel_memory_mapping.h.
#define memory_mapping_undefined ((memory_mapping)gen_chunk_undefined) |
Definition at line 33 of file kernel_memory_mapping.h.
#define memory_mapping_undefined_p | ( | x | ) | ((x)==memory_mapping_undefined) |
Definition at line 34 of file kernel_memory_mapping.h.
typedef struct _newgen_struct_entity_* entity |
Definition at line 14 of file kernel_memory_mapping.h.
typedef struct _newgen_struct_memory_mapping_* memory_mapping |
Definition at line 22 of file kernel_memory_mapping.h.
memory_mapping check_memory_mapping | ( | memory_mapping | p | ) |
Definition at line 22 of file kernel_memory_mapping.c.
References gen_check(), and memory_mapping_domain.
Referenced by memory_mapping_assign_contents(), and memory_mapping_consistent_p().
memory_mapping copy_memory_mapping | ( | memory_mapping | p | ) |
MEMORY_MAPPING.
Definition at line 16 of file kernel_memory_mapping.c.
References gen_copy_tree().
void free_memory_mapping | ( | memory_mapping | p | ) |
Definition at line 19 of file kernel_memory_mapping.c.
References gen_free().
list gen_memory_mapping_cons | ( | memory_mapping | p, |
list | l | ||
) |
Definition at line 32 of file kernel_memory_mapping.c.
References gen_typed_cons(), and MEMORY_MAPPING_NEWGEN_DOMAIN.
memory_mapping make_memory_mapping | ( | set | a | ) |
Definition at line 52 of file kernel_memory_mapping.c.
References gen_alloc(), GEN_CHECK_ALLOC, and memory_mapping_domain.
Referenced by kernel_data_mapping().
void memory_mapping_assign_contents | ( | memory_mapping | r, |
memory_mapping | v | ||
) |
Definition at line 35 of file kernel_memory_mapping.c.
References check_memory_mapping(), memory_mapping_defined_p(), and message_assert.
bool memory_mapping_consistent_p | ( | memory_mapping | p | ) |
Definition at line 25 of file kernel_memory_mapping.c.
References check_memory_mapping(), and gen_consistent_p().
bool memory_mapping_defined_p | ( | memory_mapping | p | ) |
Definition at line 29 of file kernel_memory_mapping.c.
References gen_defined_p().
Referenced by memory_mapping_assign_contents().
void memory_mapping_non_recursive_free | ( | memory_mapping | p | ) |
Definition at line 42 of file kernel_memory_mapping.c.
References free().
memory_mapping read_memory_mapping | ( | FILE * | f | ) |
Definition at line 49 of file kernel_memory_mapping.c.
References f(), and gen_read().
void write_memory_mapping | ( | FILE * | f, |
memory_mapping | p | ||
) |
Definition at line 46 of file kernel_memory_mapping.c.
References f(), and gen_write().