| /seL4-refos-master/projects/refos/impl/apps/process_server/src/test/ |
| H A D | test_memserv.c | 409 struct ram_dspace *ds = ram_dspace_create(&rlist, local
413 test_assert(ds && buf && outbuf);
414 test_assert(ds->magic == RAM_DATASPACE_MAGIC);
425 struct rb_buffer *rb = rb_create(ds, RB_WRITEONLY);
427 test_assert(rb->dataspace->ID = ds->ID);
459 struct rb_buffer *rbw = rb_create(ds, RB_WRITEONLY);
461 test_assert(rbw->dataspace->ID = ds->ID);
470 struct rb_buffer *rbr = rb_create(ds, RB_READONLY);
472 test_assert(rbr->dataspace->ID = ds->ID);
490 test_assert(ds
[all...] |
| /seL4-refos-master/apps/process_server/src/test/ |
| H A D | test_memserv.c | 409 struct ram_dspace *ds = ram_dspace_create(&rlist, local
413 test_assert(ds && buf && outbuf);
414 test_assert(ds->magic == RAM_DATASPACE_MAGIC);
425 struct rb_buffer *rb = rb_create(ds, RB_WRITEONLY);
427 test_assert(rb->dataspace->ID = ds->ID);
459 struct rb_buffer *rbw = rb_create(ds, RB_WRITEONLY);
461 test_assert(rbw->dataspace->ID = ds->ID);
470 struct rb_buffer *rbr = rb_create(ds, RB_READONLY);
472 test_assert(rbr->dataspace->ID = ds->ID);
490 test_assert(ds
[all...] |
| /seL4-refos-master/projects/util_libs/libethdrivers/src/plat/am335x/ |
| H A D | edma.c | 786 unsigned int *ds = (unsigned int *)currPaRAM; local
791 *ds++ = *sr++;
815 unsigned int *ds = (unsigned int *)currPaRAM; local
820 *ds = *sr;
821 ds++;
852 volatile unsigned int *ds; local
854 ds = (unsigned int *)(baseAdd + EDMA3CC_OPT(PaRAMId));
857 *ds = *sr;
858 ds++;
892 unsigned int *ds; local
[all...] |
| /seL4-refos-master/kernel/src/arch/x86/32/ |
| H A D | head.S | 92 movw %ax, %ds
106 movw %ax, %ds
|
| H A D | machine_asm.S | 32 movw %ax, %ds
|
| H A D | traps.S | 77 SET_SELECTOR(ds, SEL_DS_3, tmp) \
|
| /seL4-refos-master/libs/libmuslc/arch/x32/bits/ |
| H A D | user.h | 14 unsigned long cs, eflags, rsp, ss, fs_base, gs_base, ds, es, fs, gs; member in struct:user_regs_struct
|
| /seL4-refos-master/libs/libmuslc/arch/x86_64/bits/ |
| H A D | user.h | 14 unsigned long cs, eflags, rsp, ss, fs_base, gs_base, ds, es, fs, gs; member in struct:user_regs_struct
|
| /seL4-refos-master/libs/libmuslc/arch/x86_64_sel4/bits/ |
| H A D | user.h | 14 unsigned long cs, eflags, rsp, ss, fs_base, gs_base, ds, es, fs, gs; member in struct:user_regs_struct
|
| /seL4-refos-master/libs/libmuslc/arch/i386/bits/ |
| H A D | signal.h | 41 unsigned short gs, __gsh, fs, __fsh, es, __esh, ds, __dsh; member in struct:sigcontext
|
| /seL4-refos-master/libs/libmuslc/arch/i386_sel4/bits/ |
| H A D | signal.h | 41 unsigned short gs, __gsh, fs, __fsh, es, __esh, ds, __dsh; member in struct:sigcontext
|
| /seL4-refos-master/kernel/src/arch/x86/64/ |
| H A D | machine_asm.S | 78 movw %ax, %ds
|
| H A D | head.S | 354 movw %ax, %ds
369 movw %ax, %ds
|
| /seL4-refos-master/projects/refos/impl/apps/test_os/src/ |
| H A D | test_os.c | 258 seL4_CPtr ds = data_open(REFOS_PROCSERV_EP, "anon", local
261 test_assert(ds);
262 error = proc_set_parambuffer(ds, PROCESS_PARAM_DEFAULTSIZE);
|
| /seL4-refos-master/apps/test_os/src/ |
| H A D | test_os.c | 258 seL4_CPtr ds = data_open(REFOS_PROCSERV_EP, "anon", local
261 test_assert(ds);
262 error = proc_set_parambuffer(ds, PROCESS_PARAM_DEFAULTSIZE);
|
| /seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/doc/ |
| H A D | Guidebook.tex | 32 %.ds h0 "
33 %.ds h1 %.ds h2 \%
34 %.ds f0 "
|
| /seL4-refos-master/apps/nethack/src/nethack-3.4.3/doc/ |
| H A D | Guidebook.tex | 32 %.ds h0 "
33 %.ds h1 %.ds h2 \%
34 %.ds f0 "
|