Searched refs:MSG (Results 1 - 23 of 23) sorted by relevance

/barrelfish-master/kernel/arch/armv7/
H A Dinit.c46 #define MSG(format, ...) printk( LOG_NOTE, "ARMv7-A: "format, ## __VA_ARGS__ ) macro
165 MSG("Barrelfish CPU driver starting on ARMv7\n");
166 MSG("Core data at %p\n", core_data);
167 MSG("Global data at %p\n", global);
168 MSG("Boot record at %p\n", bootrec);
174 MSG("APP core.\n");
196 MSG("Build ID: ");
213 MSG("Multiboot info:\n");
214 MSG(" info header at 0x%"PRIxLVADDR"\n", (lvaddr_t)mb);
215 MSG(" mods_add
[all...]
H A Domap44xx_spinlock.c23 #define MSG(format, ...) printk( LOG_NOTE, "OMAP44xx spinlock: "format, ## __VA_ARGS__ ) macro
36 MSG("already initialized; skipping.\n");
42 MSG("init base = 0x%"PRIxLVADDR"\n", base);
48 MSG("testing spinlock: first read (should be 0): 0x%x\n",
51 MSG("testing spinlock: second read (should be 1): 0x%x\n",
56 MSG("init done.\n");
H A Dplat_omap44xx.c40 #define MSG(format, ...) printk( LOG_NOTE, "OMAP44xx: "format, ## __VA_ARGS__ ) macro
68 MSG("This is a %s\n", buf);
71 MSG("Speed grade: %s\n", buf);
74 MSG("We have %uMb of DRAM\n", sz / 1024 / 1024);
98 MSG(" EMIF%d doesn't seem to have any DDRAM attached.\n", bank);
106 MSG(" EMIF%d ready, %d-bit rows, %d-bit cols, %d-byte row buffer\n",
164 MSG("SYS_CLK is %"PRIu32".%01"PRIu32"MHz\n",
184 MSG("M = %"PRIx32", N = %"PRIx32"\n", mult, divisor - 1);
188 MSG("f_dpll = %"PRIu64"\n", f_dpll);
195 MSG("MP
[all...]
H A Dboot_driver.c27 #define MSG(format, ...) printk( LOG_NOTE, "ARMv7-A: "format, ## __VA_ARGS__ ) macro
64 MSG("This is an ");
135 MSG(" Security extensions required but not implemented\n");
139 MSG(" Security extensions implemented\n");
142 MSG(" Virtualisation extensions ");
151 MSG(" Generic timer ");
195 MSG("APP core %"PRIu32" booting.\n", bootrec->target_mpid);
201 MSG("CPU driver entry point is KV:%08"PRIx32"\n",
204 MSG("Page tables at P:%08"PRIx32" and P:%08"PRIx32".\n",
208 MSG("Switchin
[all...]
H A Dplat_a15mpcore.c27 #define MSG(format, ...) \ macro
77 MSG("System counter frequency is %lluHz.\n", systime_frequency);
78 MSG("Timeslice interrupt every %" PRIu64 " ticks (%dms).\n",
84 MSG("Timer interrupt is %u\n", timerirq);
H A Dplat_zynq7.c35 #define MSG(format, ...) printk( LOG_NOTE, "ZYNQ7: "format, ## __VA_ARGS__ ) macro
123 MSG("CPU clock is derived from %s\n", zynq_slcr_clksrc_describe(clksrc));
153 MSG(" PLL is bypassed.\n");
158 MSG(" PLL multiplier, M=%"PRIu32".\n", M);
161 MSG(" PLL frequency is %"PRIu32"kHz.\n", src_clk/1000);
166 MSG(" CPU frequency is %"PRIu32"kHz.\n", cpu_clk/1000);
170 MSG(" Timer frequency is %"PRIu32"kHz.\n", systime_frequency / 1000);
178 MSG(" Central interconnect frequency is %"PRIu32"kHz.\n",
180 MSG(" AHB frequency is %"PRIu32"kHz.\n",
H A Da9_scu.c30 #define MSG(format, ...) printk( LOG_NOTE, "CortexA9 SCU: "format, ## __VA_ARGS__ ) macro
40 MSG("initialized at 0x%"PRIxLVADDR"\n", scu_base);
H A Dplat_a9mpcore.c29 #define MSG(format, ...) \ macro
101 MSG("System counter frequency is %lluHz.\n", systime_frequency);
104 MSG("Timeslice interrupt every %llu system ticks (%dms).\n", kernel_timeslice, timeslice);
H A Da9_gt.c24 #define MSG(format, ...) \ macro
36 MSG("initialized at 0x%"PRIxLVADDR"\n", gt_base);
H A Dpaging_init.c16 #define MSG(format, ...) printk( LOG_NOTE, "ARMv7-A: "format, ## __VA_ARGS__ ) macro
117 MSG("Initialising kernel paging, using RAM at %08x-%08x\n",
202 MSG(" MMU is currently ");
208 MSG(" Alignment checking is currently ");
211 MSG(" Caches are currently ");
H A Dstartup_arch.c42 #define MSG(format, ...) printk( LOG_NOTE, "ARMv7-A: "format, ## __VA_ARGS__ ) macro
347 MSG("init_page_tables done: init_l1=%p init_l2=%p\n",
400 MSG("Calling paging_context_switch with address = %"PRIxLVADDR"\n",
421 MSG("device region %"PRIu32" lies above 4GB.\n", i);
424 MSG("device region %"PRIu32" extends beyond 4GB, "
445 MSG("spawn_init_common %s\n", name);
456 MSG("about to call mem_to_local_phys with lvaddr=%"PRIxLVADDR"\n",
473 MSG("Using device region at PA:0x%"PRIx32"-0x%"PRIx32"\n",
513 MSG("spawn_init_common: starting from=%"PRIxLVADDR"\n");
524 MSG("spawn_bsp_ini
[all...]
H A Dpaging.c24 #define MSG(format, ...) printk( LOG_NOTE, "ARMv7-A: "format, ## __VA_ARGS__ ) macro
145 MSG("Mapping vectors at P:%"PRIxLPADDR" to %"PRIxLVADDR
/barrelfish-master/kernel/arch/armv8/
H A Dinit.c50 #define MSG(format, ...) printk( LOG_NOTE, "ARMv8-A: "format, ## __VA_ARGS__ ) macro
174 MSG("Global data at %p\n", global);
176 MSG("Kernel stack at 0x%016" PRIxPTR ".. 0x%016" PRIxPTR "\n",
178 MSG("Kernel first byte at 0x%" PRIxPTR "\n", &kernel_first_byte);
180 MSG("Exception vectors (VBAR_EL1): %p\n", &vectors);
185 MSG("%"PRIu32" cores in system\n", platform_get_core_count());
186 MSG("Initializing the interrupt controller\n");
192 MSG("Enabling timers\n");
195 MSG("Setting coreboot spawn handler\n");
198 MSG("Callin
[all...]
H A Dstartup_arch.c47 #define MSG(format, ...) printk( LOG_NOTE, "ARMv8-A: "format, ## __VA_ARGS__ ) macro
517 MSG("spawn_init_common %s\n", name);
562 MSG("spawning '%s' on BSP core\n", name);
592 MSG("init loaded with entry=0x%" PRIxGENVADDR " and GOT=0x%" PRIxGENVADDR "\n",
624 MSG("spawning '%s' on APP core\n", name);
652 MSG("creating monitor URPC frame cap\n");
670 MSG("mapping URPC frame cap %" PRIxLPADDR" \n",urpc_ptr );
679 MSG("loading elf '%s' @ %" PRIxLPADDR "\n", name,
699 MSG("init loaded with entry=0x%" PRIxGENVADDR " and GOT=0x%" PRIxGENVADDR "\n",
714 MSG("ini
[all...]
/barrelfish-master/kernel/arch/arm/
H A Drpi3_miniuart.c24 #define MSG(format, ...) printk( LOG_NOTE, "rpi3_miniuart: "format, ## __VA_ARGS__ ) macro
H A Dgic.c23 #define MSG(format, ...) printk( LOG_NOTE, "GIC: "format, ## __VA_ARGS__ ) macro
96 MSG("gic_init done\n");
177 MSG("platform_enable_interrupt for id=0x%"PRIx32", "
H A Dzynq_uart.c30 #define MSG(port, format, ...) \ macro
H A Dlpuart.c28 #define MSG(format, ...) printk( LOG_NOTE, "lpuart: "format, ## __VA_ARGS__ ) macro
H A Dpl011.c34 #define MSG(format, ...) printk( LOG_NOTE, "pl011: "format, ## __VA_ARGS__ ) macro
H A Domap_uart.c31 #define MSG(port, format, ...) \ macro
/barrelfish-master/usr/eclipseclp/documents/tutorial/
H A Dpropiachr.tex335 \index{MSG}
345 {\em most specific generalisation} ({\em MSG}).
346 The MSG of two terms is a term
349 $p(a,f(Y))$ is the MSG of $p(a,f(b))$ and $p(a,f(c))$.
352 generalises the two terms, is more general than the MSG.
355 The MSG of two terms captures only information that is common to both
360 Some surprising information is caught by the MSG. For example the MSG
389 because the MSG of $0$ and $1$ is a variable with domain \verb90..19.
393 The MSG o
[all...]
/barrelfish-master/lib/openssl-1.0.0d/apps/
H A Dwinrand.c74 MSG msg;
/barrelfish-master/usr/eclipseclp/
H A DBUILD_ROTD1867 MSG="Nothing to add to FTP site $FTP_MACHINE!" &&
1868 echo "$MSG" >> $MASTER_LOG_FILE &&
1870 $MSG"
1872 MSG="Adding these architectures to FTP site $FTP_MACHINE:
1874 echo "$MSG" >> $MASTER_LOG_FILE &&
1876 $MSG" &&

Completed in 284 milliseconds