/seL4-camkes-master/tools/rumprun/platform/xen/librumpxen_xendev/ |
H A D | busdev_user.h | 23 * assumes: struct rumpxenbus_data_common *dc; 26 #define WTROUBLE(s) do{ rumpxenbus_write_trouble((dc),s); err = EINVAL; goto end; }while(0) 29 rumpxenbus_write_trouble(struct rumpxenbus_data_common *dc, const char *what); 32 rumpxenbus_process_request(struct rumpxenbus_data_common *dc); 35 rumpxenbus_next_event_msg(struct rumpxenbus_data_common *dc, 39 void rumpxenbus_block_before(struct rumpxenbus_data_common *dc); 40 void rumpxenbus_block_after(struct rumpxenbus_data_common *dc); 42 void rumpxenbus_dev_xb_wakeup(struct rumpxenbus_data_common *dc); 43 void rumpxenbus_dev_restart_wakeup(struct rumpxenbus_data_common *dc); 46 rumpxenbus_dev_user_shutdown(struct rumpxenbus_data_common *dc); [all...] |
H A D | busdev.c | 71 struct rumpxenbus_data_common dc; member in struct:rumpxenbus_data_dev 85 rumpxenbus_write_trouble(struct rumpxenbus_data_common *dc, const char *what) argument 92 printf(" %d bytes:", dc->wbuf_used); 93 for (i=0; i<dc->wbuf_used; i++) { 95 printf("%02x", dc->wbuf.buffer[i]); 101 dc->wbuf_used = 0; /* discard everything buffered */ 106 #define wbuf dc.wbuf 107 #define wbuf_used dc.wbuf_used 114 struct rumpxenbus_data_common *const dc = &dd->dc; local 177 rumpxenbus_block_before(struct rumpxenbus_data_common *dc) argument 184 rumpxenbus_block_after(struct rumpxenbus_data_common *dc) argument 196 struct rumpxenbus_data_common *const dc = &dd->dc; local 286 rumpxenbus_dev_xb_wakeup(struct rumpxenbus_data_common *dc) argument 311 struct rumpxenbus_data_common *const dc = &dd->dc; local [all...] |
H A D | busdev_user.c | 96 find_transaction(struct rumpxenbus_data_common *dc, xenbus_transaction_t id) argument 98 struct rumpxenbus_data_user *const du = dc->du; 102 if (trans->tx_id == dc->wbuf.msg.tx_id) 109 find_visible_watch(struct rumpxenbus_data_common *dc, argument 112 struct rumpxenbus_data_user *const du = dc->du; 127 make_request(struct rumpxenbus_data_common *dc, struct xenbus_dev_request *req, argument 132 struct rumpxenbus_data_user *const du = dc->du; 154 make_watch_request(struct rumpxenbus_data_common *dc, argument 164 make_request(dc, req, tx_id, wreqs, 2); 168 forward_request(struct rumpxenbus_data_common *dc, struc argument 207 rumpxenbus_process_request(struct rumpxenbus_data_common *dc) argument 321 process_watch_event(struct rumpxenbus_data_common *dc, struct xenbus_event *event, struct xenbus_dev_watch *watch, void (**mfree_r)(void*)) argument 397 process_response(struct rumpxenbus_data_common *dc, struct xenbus_dev_request *req, void (**mfree_r)(void*)) argument 460 process_event(struct rumpxenbus_data_common *dc, struct xenbus_event *event, void (**mfree_r)(void*)) argument 479 rumpxenbus_next_event_msg(struct rumpxenbus_data_common *dc, _Bool block, void (**mfree_r)(void*)) argument 542 rumpxenbus_dev_restart_wakeup(struct rumpxenbus_data_common *dc) argument 551 rumpxenbus_dev_user_shutdown(struct rumpxenbus_data_common *dc) argument 612 rumpxenbus_dev_user_open(struct rumpxenbus_data_common *dc) argument [all...] |
/seL4-camkes-master/projects/musllibc/src/internal/ |
H A D | floatscan.c | 71 long long lrp=0, dc=0; local 100 lrp = dc; 102 dc++; 103 if (c!='0') lnz = dc; 112 dc++; 119 if (!gotrad) lrp=dc; 146 if (lrp==dc && dc<10 && (bits>30 || x[0]>>bits==0)) 325 long long dc = 0; local 345 rp = dc; [all...] |
/seL4-camkes-master/projects/picotcp/test/unit/ |
H A D | modunit_pico_frame.c | 196 struct pico_frame *dc = pico_frame_deepcopy(f); local 198 fail_if(*dc->usage_count != 1); 199 fail_if(dc->buffer == f->buffer); 203 dc = pico_frame_deepcopy(f); 204 fail_if(dc);
|
/seL4-camkes-master/tools/riscv-pk/pk/ |
H A D | syscall.c | 20 size_t dc = rdcycle() - current.cycle0; local 24 printk("%ld cycles\n", dc); 26 printk("%d.%d%d CPI\n", dc/di, 10ULL*dc/di % 10, (100ULL*dc + di/2)/di % 10);
|
/seL4-camkes-master/tools/seL4/elfloader-tool/include/arch-arm/64/mode/ |
H A D | assembler.h | 131 dc \op, x11
|
/seL4-camkes-master/projects/projects_libs/libjansson/jansson-2.7/ |
H A D | Makefile.in | 647 GZIP=$(GZIP_ENV) gzip -dc $(distdir).tar.gz | $(am__untar) ;;\ 649 bzip2 -dc $(distdir).tar.bz2 | $(am__untar) ;;\ 651 lzip -dc $(distdir).tar.lz | $(am__untar) ;;\ 653 xz -dc $(distdir).tar.xz | $(am__untar) ;;\ 657 GZIP=$(GZIP_ENV) gzip -dc $(distdir).shar.gz | unshar ;;\ 667 && dc_destdir="$${TMPDIR-/tmp}/am-dc-$$$$/" \
|
/seL4-camkes-master/tools/rumprun/tests/configure/ |
H A D | Makefile.in | 616 GZIP=$(GZIP_ENV) gzip -dc $(distdir).tar.gz | $(am__untar) ;;\ 618 bzip2 -dc $(distdir).tar.bz2 | $(am__untar) ;;\ 620 lzip -dc $(distdir).tar.lz | $(am__untar) ;;\ 622 xz -dc $(distdir).tar.xz | $(am__untar) ;;\ 626 GZIP=$(GZIP_ENV) gzip -dc $(distdir).shar.gz | unshar ;;\ 636 && dc_destdir="$${TMPDIR-/tmp}/am-dc-$$$$/" \
|
/seL4-camkes-master/kernel/src/arch/x86/32/ |
H A D | traps.S | 317 INT_HANDLER_WITHOUT_ERR_CODE(dc)
|
/seL4-camkes-master/kernel/src/arch/x86/64/ |
H A D | traps.S | 409 INT_HANDLER_WITHOUT_ERR_CODE(dc,0)
|