/barrelfish-2018-10-04/usr/eclipseclp/Kernel/lib/ |
H A D | goedel.pl | 74 format/3. 108 format(S, L, X) :- 110 call_explicit(format(S, L, X), quintus),
|
H A D | db.pl | 280 ** atom <=> list ==> verify format if relation exists 283 ** atom <=> var ==> obtain relation's format 287 /* verify relation's format if relation exist */ 304 /* Note : bang_createrel/3 checks format for 305 - format is a list 319 /* Note : bang_createrel/3 checks format (see above) */ 322 /* obtain relation's format */ 371 <=> (RRel12, F1, Database), % get format for Rel1 372 <=> (RRel22, F2, Database), % get format for Rel2 414 ** internal new format o [all...] |
/barrelfish-2018-10-04/lib/cxx/unwind/ |
H A D | UnwindCursor.hpp | 449 _info.format, _info.start_ip, _addressSpace, _registers); 454 _info.format, (uint32_t)_info.start_ip, _addressSpace, _registers); 463 _info.format, _info.start_ip, _addressSpace, _registers); 472 if ((_info.format & UNWIND_X86_64_MODE_MASK) == UNWIND_X86_64_MODE_DWARF) { 474 *offset = (_info.format & UNWIND_X86_64_DWARF_SECTION_OFFSET); 481 if ((_info.format & UNWIND_X86_MODE_MASK) == UNWIND_X86_MODE_DWARF) { 483 *offset = (_info.format & UNWIND_X86_DWARF_SECTION_OFFSET); 494 if ((_info.format & UNWIND_ARM64_MODE_MASK) == UNWIND_ARM64_MODE_DWARF) { 496 *offset = (_info.format & UNWIND_ARM64_DWARF_SECTION_OFFSET); 858 _info.format [all...] |
H A D | Unwind-EHABI.cpp | 75 Descriptor::Format format, 94 switch (format) { 172 Descriptor::Format format = local 185 state, ucbp, context, format, 261 // by format: 262 Descriptor::Format format = local 264 switch (format) { 979 // format 1", which is equivalent to FSTMD + a padding word. 71 ProcessDescriptors( _Unwind_State state, _Unwind_Control_Block* ucbp, struct _Unwind_Context* context, Descriptor::Format format, const char* descriptorStart, uint32_t flags) argument
|
/barrelfish-2018-10-04/lib/openssl-1.0.0d/crypto/bn/asm/ |
H A D | ppc64-mont.pl | 96 $nap_d="r14"; # interleaved ap and np in double format 318 stfd $A0,8($nap_d) ; save a[j] in double format 322 stfd $A2,24($nap_d) ; save a[j+1] in double format 326 stfd $N0,40($nap_d) ; save n[j] in double format 330 stfd $N2,56($nap_d) ; save n[j+1] in double format 428 stfd $A0,8($nap_d) ; save a[j] in double format 434 stfd $A2,24($nap_d) ; save a[j+1] in double format 441 stfd $N0,40($nap_d) ; save n[j] in double format 448 stfd $N2,56($nap_d) ; save n[j+1] in double format 597 lfd $A0,8($nap_d) ; load a[j] in double format [all...] |
H A D | sparcv9a-mont.pl | 223 std $alo,[$ap_l+$j] ! save smashed ap[j] in double format 227 std $nlo,[$np_l+$j] ! save smashed np[j] in double format 299 std $alo,[$ap_l+$j] ! save smashed ap[j] in double format 306 std $nlo,[$np_l+$j] ! save smashed np[j] in double format 387 std $alo,[$ap_l+$j] ! save smashed ap[j] in double format 394 std $nlo,[$np_l+$j] ! save smashed np[j] in double format 543 ldd [$ap_l+$j],$alo ! load a[j] in double format 547 ldd [$np_l+$j],$nlo ! load n[j] in double format 593 ldd [$ap_l+$j],$alo ! load a[j] in double format 595 ldd [$np_l+$j],$nlo ! load n[j] in double format [all...] |
/barrelfish-2018-10-04/usr/eclipseclp/documents/embedding/ |
H A D | embexdr.tex | 34 We have defined a data interchange format called EXDR for the 36 available in this format are integer, double, string, list, nil, 91 EXDR-format can be used readily to communicate via files, pipes, 96 This predicate writes terms in exdr format. 105 This predicate reads exdr format and constructs a
|
H A D | embtcl.tex | 156 \item[\index{ec_rpc (Tcl embedding interface)}ec_rpc {\it goal ?format?}]\ \\ 167 If no format argument is given, the goal is assumed to be in 168 {\eclipse} syntax. If a {\it format} argument is provided, 169 the {\eclipse} goal is constructed from {\it goal} and {\it format}, 334 representation, see section \ref{secexdrtcl}) format for communication. 371 representation, see section \ref{secexdrtcl}) format for communication. 518 primitives are provided to handle EXDR-format: 520 \item[\label{ecwriteexdr}\index{ec_write_exdr}ec_write_exdr {\it channel data ?format?}]\ \\ 523 the additional type information provided in the {\it format} 524 argument. If no format i [all...] |
/barrelfish-2018-10-04/usr/eclipseclp/Contrib/ |
H A D | xml.pl | 62 * format(<bool>) : Strip layouts when no character data
79 * format(<Bool>) : Indent the element content
98 ( member( format(false), Controls ) ->
|
H A D | arrays.pl | 24 % this format, "array_to_list" converts back.
|
/barrelfish-2018-10-04/lib/tzcode/stdtime/ |
H A D | private.h | 202 const char * scheck(const char * string, const char * format);
|
/barrelfish-2018-10-04/doc/015-disk-driver-arch/ |
H A D | related.tex | 11 disk subsystems (transport layer, message format and disk commands, e.g. 14 to the disk in a message format and transport agnostic way. This makes those
|
/barrelfish-2018-10-04/lib/devif/backends/net/mlx4/drivers/infiniband/hw/mlx4/ |
H A D | mlx4_ib.h | 66 #define mlx4_ib_warn(ibdev, format, arg...) \ 67 dev_warn((ibdev)->dma_device, MLX4_IB_DRV_NAME ": " format, ## arg) 69 #define mlx4_ib_info(ibdev, format, arg...) \ 70 dev_info((ibdev)->dma_device, MLX4_IB_DRV_NAME ": " format, ## arg)
|
/barrelfish-2018-10-04/kernel/arch/armv7/ |
H A D | boot_driver.c | 27 #define MSG(format, ...) printk( LOG_NOTE, "ARMv7-A: "format, ## __VA_ARGS__ )
|
H A D | init.c | 47 #define MSG(format, ...) printk( LOG_NOTE, "ARMv7-A: "format, ## __VA_ARGS__ )
|
/barrelfish-2018-10-04/usr/kaluga/ |
H A D | start_pci.c | 69 static char* format = "spawn.%"PRIuCOREID" { iref: _ }"; local 70 int length = snprintf(NULL, 0, format, core); 72 snprintf(query, length+1, format, core);
|
/barrelfish-2018-10-04/lib/libc/sys/barrelfish/ |
H A D | posix_syscalls.c | 6 void debug_printf(const char *fmt, ...) __attribute__((format(printf, 1, 2)));
|
/barrelfish-2018-10-04/lib/libc/sys/ |
H A D | barrelfish_syscalls.c | 8 void debug_printf(const char *fmt, ...) __attribute__((format(printf, 1, 2)));
|
/barrelfish-2018-10-04/usr/eclipseclp/Visualisation/src/com/parctechnologies/eclipse/visualisation/viewers/ |
H A D | GrappaTextViewletType.java | 128 edge.setAttribute("label", nf.format(val));
|
/barrelfish-2018-10-04/lib/openssl-1.0.0d/crypto/rc4/asm/ |
H A D | rc4-ia64.pl | 196 local $format = shift; 197 $code .= sprintf ("\t\t".$format."\n", @_); 202 local $format = shift; 203 $code .= sprintf ($format."\n", @_);
|
/barrelfish-2018-10-04/lib/acpica/generate/unix/ |
H A D | Makefile.config | 210 -Wno-format-nonliteral\
|
/barrelfish-2018-10-04/lib/openssl-1.0.0d/engines/ |
H A D | e_capi.c | 129 static void CAPI_trace(CAPI_CTX *ctx, char *format, ...); 204 /* Dump PEM format certificate */ 1031 static void capi_vtrace(CAPI_CTX *ctx, int level, char *format, va_list argptr) argument 1038 BIO_vprintf(out, format, argptr); 1042 static void CAPI_trace(CAPI_CTX *ctx, char *format, ...) argument 1045 va_start(args, format); 1046 capi_vtrace(ctx, CAPI_DBG_TRACE, format, args);
|
/barrelfish-2018-10-04/usr/eclipseclp/icparc_solvers/ |
H A D | vbs_router.pl | 38 % You can obtain a problem file in lp-format by using lib(lponly) and 40 % then holds the problem in lp-format.
|
/barrelfish-2018-10-04/usr/eclipseclp/Pds/src/ |
H A D | nsrv_int.h | 81 extern int fprintf(FILE * stream, const char * format, ...);
|
/barrelfish-2018-10-04/lib/openssl-1.0.0d/crypto/bio/ |
H A D | bio.h | 684 int BIO_printf(BIO *bio, const char *format, ...) 686 int BIO_vprintf(BIO *bio, const char *format, va_list args) 688 int BIO_snprintf(char *buf, size_t n, const char *format, ...) 690 int BIO_vsnprintf(char *buf, size_t n, const char *format, va_list args)
|