Searched refs:format (Results 51 - 75 of 159) sorted by relevance

1234567

/barrelfish-2018-10-04/usr/eclipseclp/Kernel/lib/
H A Dgoedel.pl74 format/3.
108 format(S, L, X) :-
110 call_explicit(format(S, L, X), quintus),
H A Ddb.pl280 ** 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 DUnwindCursor.hpp449 _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 DUnwind-EHABI.cpp75 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 Dppc64-mont.pl96 $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 Dsparcv9a-mont.pl223 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 Dembexdr.tex34 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 Dembtcl.tex156 \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 Dxml.pl62 * format(<bool>) : Strip layouts when no character data
79 * format(<Bool>) : Indent the element content
98 ( member( format(false), Controls ) ->
H A Darrays.pl24 % this format, "array_to_list" converts back.
/barrelfish-2018-10-04/lib/tzcode/stdtime/
H A Dprivate.h202 const char * scheck(const char * string, const char * format);
/barrelfish-2018-10-04/doc/015-disk-driver-arch/
H A Drelated.tex11 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 Dmlx4_ib.h66 #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 Dboot_driver.c27 #define MSG(format, ...) printk( LOG_NOTE, "ARMv7-A: "format, ## __VA_ARGS__ )
H A Dinit.c47 #define MSG(format, ...) printk( LOG_NOTE, "ARMv7-A: "format, ## __VA_ARGS__ )
/barrelfish-2018-10-04/usr/kaluga/
H A Dstart_pci.c69 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 Dposix_syscalls.c6 void debug_printf(const char *fmt, ...) __attribute__((format(printf, 1, 2)));
/barrelfish-2018-10-04/lib/libc/sys/
H A Dbarrelfish_syscalls.c8 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 DGrappaTextViewletType.java128 edge.setAttribute("label", nf.format(val));
/barrelfish-2018-10-04/lib/openssl-1.0.0d/crypto/rc4/asm/
H A Drc4-ia64.pl196 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 DMakefile.config210 -Wno-format-nonliteral\
/barrelfish-2018-10-04/lib/openssl-1.0.0d/engines/
H A De_capi.c129 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 Dvbs_router.pl38 % 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 Dnsrv_int.h81 extern int fprintf(FILE * stream, const char * format, ...);
/barrelfish-2018-10-04/lib/openssl-1.0.0d/crypto/bio/
H A Dbio.h684 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)

Completed in 191 milliseconds

1234567