kernel_memory_mapping.c File Reference

#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include "genC.h"
#include "kernel_memory_mapping.h"

Include dependency graph for kernel_memory_mapping.c:

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)

Function Documentation

check_memory_mapping()

memory_mapping check_memory_mapping

(

memory_mapping

p

)

Definition at line 22 of file kernel_memory_mapping.c.

                                                      {
  return (memory_mapping) gen_check((gen_chunk*) p, memory_mapping_domain);
}

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.

                                                     {
  return (memory_mapping) gen_copy_tree((gen_chunk*) p);
}

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.

                                           {
  gen_free((gen_chunk*) p);
}

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.

                                                       {
  return gen_typed_cons(MEMORY_MAPPING_NEWGEN_DOMAIN, p, l);
}

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.

                                          {
  return (memory_mapping) gen_alloc(2*sizeof(gen_chunk), GEN_CHECK_ALLOC, memory_mapping_domain, a);
}

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.

                                                                        {
  check_memory_mapping(r);
  check_memory_mapping(v);
  message_assert("defined references to domain memory_mapping",
                 memory_mapping_defined_p(r) && memory_mapping_defined_p(v));
       memcpy(r, v, sizeof(struct _newgen_struct_memory_mapping_));
}

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.

                                                   {
  check_memory_mapping(p);
  return gen_consistent_p((gen_chunk*) p);
}

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.

                                                {
  return gen_defined_p((gen_chunk*) p);
}

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.

                                                         {
  // should clear up contents...
  free(p);
}

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.

                                            {
  return (memory_mapping) gen_read(f);
}

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.

                                                     {
  gen_write(f, (gen_chunk*) p);
}

References f(), and gen_write().

Here is the call graph for this function: