/barrelfish-2018-10-04/usr/eclipseclp/documents/embedding/ |
H A D | embjava.tex | 24 \newcommand{\docslocation}{{\tt /doc/javadoc/JavaEclipseInterface/index.html}} 75 \item Transfer data between Java and {\eclipse} using queues\index{queues}. 85 \ahref{../javadoc/JavaEclipseInterface/index.html}{{\tt <eclipse\_dir>}\docslocation} 114 classpath\index{classpath}. For more information on using the classpath, please consult 216 {\it EclipseConnection} \index{EclipseConnection interface} and its 217 subinterface {\it EclipseEngine} \index{EclipseEngine interface} are Java 223 \index{EmbeddedEclipse class}. The initialisation of these implementing 232 which implements {\it EclipseConnection} \index{EclipseConnection 233 interface} or {\it EclipseEngine} \index{EclipseEngine interface}. In the 234 case of {\tt QuickTest.java} we invoke the {\tt rpc}\index{rp [all...] |
H A D | umscmacros.tex | 385 \index{Did} 386 \index{Cstring_To_Prolog} 387 \index{Make_Stack_String} 388 \index{Push_Struct_Frame} 389 \index{Push_List_Frame} 390 \index{Make_Var} 391 \index{Make_Struct} 392 \index{Make_String} 393 \index{Make_Ref} 394 \index{Make_Ni [all...] |
H A D | Makefile | 93 # replace the hard link index.html -> $(ROOTFILE).html by a soft link 100 cp index.html $(ROOTFILE)/$(ROOTFILE).html 101 ln -s $(ROOTFILE).html $(ROOTFILE)/index.html
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/libman/ |
H A D | extconjunto.tex | 30 \index{library!conjunto.pl|(} 36 \biptxtref{Reference Manual}{fd_sets:_/_}{../bips/lib/fd_sets/index.html} 66 \index{ground set} 78 \index{set domain} 93 \index{weighted set} 102 \index{set expression} 108 \index{set term} 122 \index{\andsy} 123 \index{\orsy} 124 \index{\bs [all...] |
H A D | obsman.tex | 136 \index{library!fd.pl|(} 152 \index{domain variable!definition} 162 \index{domain variable!integer} 195 \index{domain!default} 248 \index{::/2!fd} 249 \index{domain variable!creation} 273 \index{suspension list!constrained} 276 \index{integers/1!fd} 281 \index{::/3!fd} 286 \index{atmos [all...] |
H A D | ic.tex | 27 \index{library!ic|(} 45 \index{ic} 104 \index{\#\bsl=/2} 106 %\index{\#\verb+\+=/2} 112 \index{\#\bsl+/1} 114 \index{\#\andsy/2} 116 \index{\#\orsy/2} 484 \index{::/2@\texttt{::/2}!ic} 499 \index{::/2@\texttt{::/3}!ic} 530 \index{\# [all...] |
/barrelfish-2018-10-04/usr/eclipseclp/documents/userman/ |
H A D | umsparallel.tex | 30 \index{parallelism} 31 \index{Or-parallelism} 41 \index{worker} 66 \index{worker manager} 78 \index{parallel annotation} 127 \index{parallel utilities} 198 \index{worker} 204 \index{worker manager} 207 \bipref{wm_set/2}{../bips/lib/sepia/index.html} builtin. 210 builtins \bipref{wm_get/2}{../bips/lib/sepia/index [all...] |
H A D | umsmemory.tex | 34 \index{memory usage} 91 \index{shared heap} 92 \index{private heap} 93 \index{heap} 118 \index{bag} 119 \index{shelf} 120 \index{non-logical variable}\index{variable!non-logical} 121 \index{array} 159 \index{loca [all...] |
/barrelfish-2018-10-04/usr/eclipseclp/documents/megalog/ |
H A D | knowbase-sec.tex | 102 \index{createkb/1} 104 \index{openkb/1} 106 \index{closekb/0} 127 \index{$<==>$/2} \index{deductive relation} 147 $+$ indicates that the attribute is preferred in the index. 187 \index{synonym} \index{$<-->$/2} 204 \index{helpkb/0} 208 \index{helpdre [all...] |
/barrelfish-2018-10-04/usr/eclipseclp/documents/tutorial/ |
H A D | constimpl.tex | 30 \index{implementing constraints} 71 \index{constraint} 81 \index{constraint satisfaction problem} 82 \index{CSP} 109 \index{node consistency} 110 \index{arc consistency} 111 \index{path consistency} 144 \index{AC-3} 146 \index{AC-5} 176 \index{behaviou [all...] |
H A D | real.tex | 42 \index{interval arithmetic}% 59 \index{bounded reals|(} 134 \index{bounded reals!comparison} 256 \index{bounded reals|)} 261 \index{library!ic|(} 280 \index{reals/1@\texttt{reals/1}!ic}\index{::/2@\texttt{::/2}!ic} 281 \index{\$::/2@\texttt{\$::/2}!ic}(specifying 289 \index{\$=/2@\texttt{\$>=/2}!ic}\index{\ [all...] |
/barrelfish-2018-10-04/lib/tommath/ |
H A D | bn.tex | 302 \index{MP\_OKAY}\index{MP\_YES}\index{MP\_NO}\index{MP\_VAL}\index{MP\_MEM} 325 \index{mp\_error\_to\_string} 338 \index{mp\_int} 379 \index{mp\_init} 410 \index{mp\_clear} 447 \index{m [all...] |
/barrelfish-2018-10-04/usr/eclipseclp/Pds/src/ |
H A D | amsg.c | 1282 unsigned index; 1293 index = port_set_hint; 1294 while ((index < MAX_NOF_DYNAMIC_PORTS) && 1295 (dynamic_ports[index].aport_id != 0)) 1296 index++; 1297 if (index < MAX_NOF_DYNAMIC_PORTS) { 1299 index+dynamic_port_number_first, 1301 aport = &dynamic_ports[index]; 1306 port_set_hint = (index + 1) % MAX_NOF_DYNAMIC_PORTS; 1310 index 1281 unsigned index; local [all...] |
H A D | lamsg.c | 63 aport_id(bport_id,index) 65 unsigned index;
|
/barrelfish-2018-10-04/lib/cxx/unwind/ |
H A D | UnwindCursor.hpp | 175 #define arrayoffsetof(type, index, field) ((size_t)(&((type *)0)[index].field)) 223 uint32_t functionOffset(uint32_t index) const { 225 _addr + arrayoffsetof(unwind_info_section_header_index_entry, index, 228 uint32_t secondLevelPagesSectionOffset(uint32_t index) const { 230 _addr + arrayoffsetof(unwind_info_section_header_index_entry, index, 233 uint32_t lsdaIndexArraySectionOffset(uint32_t index) const { 235 _addr + arrayoffsetof(unwind_info_section_header_index_entry, index, 274 uint32_t functionOffset(uint32_t index) const { 276 _addr + arrayoffsetof(unwind_info_regular_second_level_entry, index, [all...] |
/barrelfish-2018-10-04/lib/devif/backends/net/mlx4/drivers/infiniband/hw/mthca/ |
H A D | mthca_av.c | 158 u32 index = -1; local 172 index = mthca_alloc(&dev->av_table.alloc); 175 if (index == -1) 184 index * MTHCA_AV_SIZE; 232 memcpy_toio(dev->av_table.av_map + index * MTHCA_AV_SIZE,
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/internal/kernel/ |
H A D | umscmacros.tex | 401 \index{Did} 402 \index{Cstring_To_Prolog} 403 \index{Make_Stack_String} 404 \index{Push_Struct_Frame} 405 \index{Push_List_Frame} 406 \index{Make_Var} 407 \index{Make_Struct} 408 \index{Make_String} 409 \index{Make_Ref} 410 \index{Make_Ni [all...] |
/barrelfish-2018-10-04/lib/vfs/ |
H A D | cache.c | 163 uintptr_t index = (uintptr_t)val; local 164 struct dir_entry *e = &directory[index]; 200 uintptr_t index = (uintptr_t)val; local 201 e = &directory[index]; 232 uintptr_t index = (uintptr_t)val; local 233 e = &directory[index]; 371 uint64_t index; local 377 err = bcc->rpc->rpc_tx_vtbl.get_start(&bcc->rpc, key, key_len, &index, &haveit, 384 index = (10 + disp_get_core_id()) * 4096; 392 *retblock = bulk_slave_buf_get_mem(&bcc->bulk_slave, index, NUL 403 uint64_t index = 0; local [all...] |
/barrelfish-2018-10-04/usr/acpi/ |
H A D | intel_vtd.c | 607 static void vtd_parse_dev_scope_structure(int index, int segment, char *begin, char *end, enum AcpiDmarType type) argument 627 index, type, entry->EntryType, segment, bus, dev, func, entry->EnumerationId); 634 index, type, entry->EntryType, segment, bus, dev, func, entry->EnumerationId); 644 static void vtd_parse_drhd_structure(int index, char *begin, char *end) argument 652 index, drhd->Flags, drhd->Segment, drhd->Address); 658 vtd_parse_dev_scope_structure(index, drhd->Segment, begin + sizeof(ACPI_DMAR_HARDWARE_UNIT), 669 static void vtd_parse_rmrr_structure(int index, char *begin, char *end) argument 674 index, rmrr->Segment, rmrr->BaseAddress, rmrr->EndAddress); 675 vtd_parse_dev_scope_structure(index, rmrr->Segment, begin + sizeof(ACPI_DMAR_RESERVED_MEMORY), 683 static void vtd_parse_atsr_structure(int index, cha argument 699 vtd_parse_rhsa_structure(int index, char *begin, char *end) argument 709 vtd_parse_andd_structure(int index, char *begin, char *end) argument [all...] |
/barrelfish-2018-10-04/lib/devif/backends/net/mlx4/drivers/infiniband/hw/mlx4/ |
H A D | main.c | 419 int __mlx4_ib_query_gid(struct ib_device *ibdev, u8 port, int index, argument 447 if (index) { 448 /* For any index > 0, return the null guid*/ 457 in_mad->attr_mod = cpu_to_be32(index / 8); 464 memcpy(gid->raw + 8, out_mad->data + (index % 8) * 8, 8); 473 static int iboe_query_gid(struct ib_device *ibdev, u8 port, int index, argument 477 *gid = dev->iboe.gid_table[port - 1][index]; 482 static int mlx4_ib_query_gid(struct ib_device *ibdev, u8 port, int index, argument 485 return __mlx4_ib_query_gid(ibdev, port, index, gid, 0); 487 return iboe_query_gid(ibdev, port, index, gi 490 __mlx4_ib_query_pkey(struct ib_device *ibdev, u8 port, u16 index, u16 *pkey, int netw_view) argument 521 mlx4_ib_query_pkey(struct ib_device *ibdev, u8 port, u16 index, u16 *pkey) argument [all...] |
/barrelfish-2018-10-04/include/vm/ |
H A D | swap_pager.c | 411 static struct swblock **swp_pager_hash(vm_object_t object, vm_pindex_t index); 448 * the object and page index. It returns a pointer to a pointer 453 swp_pager_hash(vm_object_t object, vm_pindex_t index) argument 458 index &= ~(vm_pindex_t)SWAP_META_MASK; 459 pswap = &swhash[(index ^ (int)(intptr_t)object) & swhash_mask]; 462 swap->swb_index == index 575 * swhash_mask: hash table index mask 698 * swap block number (a page index) is returned or SWAPBLK_NONE 845 vm_pindex_t beg = start; /* save start index */ 1005 * do we have good backing store at the requested index 1609 daddr_t index = 0; local 1869 swp_pager_meta_free(vm_object_t object, vm_pindex_t index, daddr_t count) argument 1916 daddr_t index = 0; local [all...] |
/barrelfish-2018-10-04/lib/lwip2/src/core/ |
H A D | stats.c | 116 stats_display_memp(struct stats_mem *mem, int index) argument 118 if (index < MEMP_MAX) {
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/applications/ |
H A D | Makefile | 107 # replace the hard link index.html -> $(ROOTFILE).html by a soft link 114 cp index.html $(ROOTFILE)/$(ROOTFILE).html 115 ln -s $(ROOTFILE).html $(ROOTFILE)/index.html
|
/barrelfish-2018-10-04/usr/eclipseclp/documents/internal/ |
H A D | Makefile | 114 cp index.html $(ROOTFILE)/$(ROOTFILE).html 115 ln -s $(ROOTFILE).html $(ROOTFILE)/index.html
|
/barrelfish-2018-10-04/include/pci/ |
H A D | pci.h | 110 * @param irq_idx Interrupt cap index 150 * @param index MSI-X Vector index 154 errval_t pci_msix_vector_init(uint16_t index, uint8_t destination, 159 * \param index MSI-X Vector index 163 errval_t pci_msix_vector_init_addr(struct pci_addr *addr, uint16_t index,
|