/seL4-refos-master/libs/libmuslc/src/linux/ |
H A D | ioperm.c | 6 int ioperm(unsigned long from, unsigned long num, int turn_on) argument
|
/seL4-refos-master/projects/refos/design/ |
H A D | appendix.tex | |
/seL4-refos-master/libs/libsel4vspace/src/ |
H A D | vspace.c | 75 void *vspace_share_mem(vspace_t *from, vspace_t *to, void *start, int num_pages, size_t size_bits, argument 101 int vspace_access_page_with_callback(vspace_t *from, vspace_t *to, void *access_addr, size_t size_bits, argument
|
/seL4-refos-master/libs/libcpio/src/ |
H A D | cpio.c | 78 static char* cpio_strcpy(char *to, const char *from) { argument
|
/seL4-refos-master/projects/seL4_libs/libsel4vspace/src/ |
H A D | vspace.c | 75 void *vspace_share_mem(vspace_t *from, vspace_t *to, void *start, int num_pages, size_t size_bits, argument 101 int vspace_access_page_with_callback(vspace_t *from, vspace_t *to, void *access_addr, size_t size_bits, argument
|
/seL4-refos-master/projects/util_libs/libcpio/src/ |
H A D | cpio.c | 78 static char* cpio_strcpy(char *to, const char *from) { argument
|
/seL4-refos-master/kernel/src/object/ |
H A D | schedcontext.c | 323 tcb_t *from = sc->scTcb; local
|
/seL4-refos-master/libs/libmuslc/src/locale/ |
H A D | iconv.c | 103 iconv_t iconv_open(const char *to, const char *from) argument 159 unsigned from = cd >> 16; local
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/ |
H A D | save.c | 1033 char to[PATHLEN], from[PATHLEN]; local 1058 char to[PATHLEN], from[PATHLE local [all...] |
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/ |
H A D | save.c | 1033 char to[PATHLEN], from[PATHLEN]; local 1058 char to[PATHLEN], from[PATHLE local [all...] |
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/vspace/ |
H A D | vspace.c | 823 int sel4utils_share_mem_at_vaddr(vspace_t *from, vspace_t *to, void *start, int num_pages, argument
|
/seL4-refos-master/libs/libsel4utils/src/vspace/ |
H A D | vspace.c | 823 int sel4utils_share_mem_at_vaddr(vspace_t *from, vspace_t *to, void *start, int num_pages, argument
|
/seL4-refos-master/projects/seL4_libs/libsel4vspace/include/vspace/ |
H A D | vspace.h | 879 vspace_share_mem_at_vaddr(vspace_t *from, vspace_t *to, void *start, int num_pages, size_t size_bits, void *vaddr, reservation_t res) argument [all...] |
/seL4-refos-master/libs/libsel4vspace/include/vspace/ |
H A D | vspace.h | 879 vspace_share_mem_at_vaddr(vspace_t *from, vspace_t *to, void *start, int num_pages, size_t size_bits, void *vaddr, reservation_t res) argument [all...] |
/seL4-refos-master/libs/libsel4utils/src/ |
H A D | process.c | 746 int sel4utils_copy_timer_caps_to_process(timer_objects_t *to, timer_objects_t *from, vka_t *vka, argument
|
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/ |
H A D | process.c | 746 int sel4utils_copy_timer_caps_to_process(timer_objects_t *to, timer_objects_t *from, vka_t *vka, argument
|
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/zynq7000/uboot/ |
H A D | net.h | 705 static inline struct in_addr net_read_ip(void *from) argument 714 static inline u32 net_read_u32(u32 *from) argument 729 net_copy_ip(void *to, void *from) argument 735 net_copy_u32(u32 *to, u32 *from) argument [all...] |
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/tx2/uboot/ |
H A D | net.h | 725 static inline struct in_addr net_read_ip(void *from) argument 734 static inline u32 net_read_u32(void *from) argument 749 net_copy_ip(void *to, void *from) argument 755 net_copy_u32(void *to, void *from) argument [all...] |