kernel_memory_mapping.h

Go to the documentation of this file.

#ifndef _newgen_kernel_memory_mapping_included
#define _newgen_kernel_memory_mapping_included
#define _gen_kernel_memory_mapping_start 116
/*
 * THIS FILE HAS BEEN AUTOMATICALLY GENERATED BY NEWGEN.
 *
 * PLEASE DO NOT MODIFY IT.
 */
 
#if !defined(_newgen_entity_domain_defined_)
#define _newgen_entity_domain_defined_
#define ENTITY_NEWGEN_DOMAIN (entity_domain)
#define entity_NEWGEN_DOMAIN (entity_domain)
typedef struct _newgen_struct_entity_ * entity;
#endif /* _newgen_entity_domain_defined_ */
 
#define memory_mapping_domain (_gen_kernel_memory_mapping_start+0)
#if !defined(_newgen_memory_mapping_domain_defined_)
#define _newgen_memory_mapping_domain_defined_
#define MEMORY_MAPPING_NEWGEN_DOMAIN (memory_mapping_domain)
#define memory_mapping_NEWGEN_DOMAIN (memory_mapping_domain)
typedef struct _newgen_struct_memory_mapping_ * memory_mapping;
#endif /* _newgen_memory_mapping_domain_defined_ */
 
/* MEMORY_MAPPING
 */
#define MEMORY_MAPPING(x) ((memory_mapping)((x).p))
#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)
 
extern memory_mapping copy_memory_mapping(memory_mapping);
extern void free_memory_mapping(memory_mapping);
extern memory_mapping check_memory_mapping(memory_mapping);
extern bool memory_mapping_consistent_p(memory_mapping);
extern bool memory_mapping_defined_p(memory_mapping);
#define gen_MEMORY_MAPPING_cons gen_memory_mapping_cons
extern list gen_memory_mapping_cons(memory_mapping, list);
extern void memory_mapping_assign_contents(memory_mapping, memory_mapping);
extern void memory_mapping_non_recursive_free(memory_mapping);
extern void write_memory_mapping(FILE*, memory_mapping);
extern memory_mapping read_memory_mapping(FILE*);
extern memory_mapping make_memory_mapping(set);
 
struct _newgen_struct_memory_mapping_ {
  intptr_t _type_;
  set _memory_mapping_holder_;
};
 
#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\
"
#endif