PIPS
|
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include "genC.h"
#include "kernel_memory_mapping.h"
Go to the source code of this file.
Functions | |
memory_mapping | copy_memory_mapping (memory_mapping p) |
MEMORY_MAPPING. More... | |
void | free_memory_mapping (memory_mapping p) |
memory_mapping | check_memory_mapping (memory_mapping p) |
bool | memory_mapping_consistent_p (memory_mapping p) |
bool | memory_mapping_defined_p (memory_mapping p) |
list | gen_memory_mapping_cons (memory_mapping p, list l) |
void | memory_mapping_assign_contents (memory_mapping r, memory_mapping v) |
void | memory_mapping_non_recursive_free (memory_mapping p) |
void | write_memory_mapping (FILE *f, memory_mapping p) |
memory_mapping | read_memory_mapping (FILE *f) |
memory_mapping | make_memory_mapping (set a) |
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.
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.
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().
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().