array 71 kern/include/array.h void array_destroy(struct array *); array 72 kern/include/array.h void array_init(struct array *); array 73 kern/include/array.h void array_cleanup(struct array *); array 74 kern/include/array.h unsigned array_num(const struct array *); array 75 kern/include/array.h void *array_get(const struct array *, unsigned index); array 76 kern/include/array.h void array_set(const struct array *, unsigned index, void *val); array 77 kern/include/array.h int array_setsize(struct array *, unsigned num); array 78 kern/include/array.h int array_add(struct array *, void *val, unsigned *index_ret); array 79 kern/include/array.h void array_remove(struct array *, unsigned index); array 90 kern/include/array.h array_num(const struct array *a) array 96 kern/include/array.h array_get(const struct array *a, unsigned index) array 103 kern/include/array.h array_set(const struct array *a, unsigned index, void *val) array 110 kern/include/array.h array_add(struct array *a, void *val, unsigned *index_ret) array 50 kern/lib/array.c array_destroy(struct array *a) array 57 kern/lib/array.c array_init(struct array *a) array 64 kern/lib/array.c array_cleanup(struct array *a) array 79 kern/lib/array.c array_setsize(struct array *a, unsigned num) array 113 kern/lib/array.c array_remove(struct array *a, unsigned index) array 39 kern/test/arraytest.c testa(struct array *a) array 16 user/uw-testbin/vm-mix1-fork/vm-mix1-fork.c void write_data(unsigned int array[], unsigned int start); array 17 user/uw-testbin/vm-mix1-fork/vm-mix1-fork.c void read_data(unsigned int array[], unsigned int start, const char *array_name); array 18 user/uw-testbin/vm-mix1-fork/vm-mix1-fork.c void print_data(unsigned int array[]); array 47 user/uw-testbin/vm-mix1-fork/vm-mix1-fork.c write_data(unsigned int array[], unsigned int start) array 60 user/uw-testbin/vm-mix1-fork/vm-mix1-fork.c read_data(unsigned int array[], unsigned int start, const char *array_name) array 77 user/uw-testbin/vm-mix1-fork/vm-mix1-fork.c print_data(unsigned int array[]) array 14 user/uw-testbin/vm-mix1/vm-mix1.c void write_data(unsigned int array[], unsigned int start); array 15 user/uw-testbin/vm-mix1/vm-mix1.c void read_data(unsigned int array[], unsigned int start, const char *array_name); array 16 user/uw-testbin/vm-mix1/vm-mix1.c void print_data(unsigned int array[]); array 45 user/uw-testbin/vm-mix1/vm-mix1.c write_data(unsigned int array[], unsigned int start) array 58 user/uw-testbin/vm-mix1/vm-mix1.c read_data(unsigned int array[], unsigned int start, const char *array_name) array 75 user/uw-testbin/vm-mix1/vm-mix1.c print_data(unsigned int array[]) array 14 user/uw-testbin/vm-mix2/vm-mix2.c void write_data(unsigned int array[], unsigned int start); array 15 user/uw-testbin/vm-mix2/vm-mix2.c void read_data(unsigned int array[], unsigned int start, const char *array_name); array 16 user/uw-testbin/vm-mix2/vm-mix2.c void print_data(unsigned int array[]); array 49 user/uw-testbin/vm-mix2/vm-mix2.c write_data(unsigned int array[], unsigned int start) array 67 user/uw-testbin/vm-mix2/vm-mix2.c read_data(unsigned int array[], unsigned int start, const char *array_name) array 83 user/uw-testbin/vm-mix2/vm-mix2.c print_data(unsigned int array[])