Searched refs:kernel (Results 1 - 25 of 362) sorted by relevance
1234567891011>>
| /barrelfish-master/kernel/arch/armv7/ |
| H A D | plat_basic_boot.c | 15 #include <kernel.h>
|
| H A D | gdb_arch.c | 10 #include <kernel.h>
|
| H A D | plat_zynq7_consts.c | 15 #include <kernel.h>
|
| H A D | plat_priv_cbar.c | 16 #include <kernel.h>
|
| H A D | plat_omap44xx_consts.c | 15 #include <kernel.h>
|
| H A D | plat_omap44xx_boot.c | 15 #include <kernel.h>
|
| H A D | plat_id.c | 10 #include <kernel.h>
|
| /barrelfish-master/usr/eclipseclp/documents/bips/ |
| H A D | INSTALL | 43 make_directory 2755 ../../doc/bips/kernel
44 cp -pr kernel/*.eci ../../doc/bips/kernel
45 chmod 644 ../../doc/bips/kernel/*.eci
|
| /barrelfish-master/kernel/arch/arm/ |
| H A D | debug.c | 3 * \brief ARM-specific kernel debugging functions
15 #include <kernel.h>
|
| H A D | misc.c | 2 * \brief Miscellaneous kernel support code.
4 * This file contains miscellaneous architecture-independent kernel support
17 #include <kernel.h>
24 * 'true' if kernel should handle and context switch on timer ticks.
25 * Pass the ticks parameter on the kernel command line if you
|
| /barrelfish-master/kernel/arch/armv8/ |
| H A D | gdb_arch.c | 10 #include <kernel.h>
|
| H A D | plat_apm88xxxx_consts.c | 16 #include <kernel.h>
|
| H A D | plat_arm_vm_consts.c | 16 #include <kernel.h>
|
| /barrelfish-master/kernel/include/arch/armv7/ |
| H A D | a9_scu.h | 31 #include <kernel.h>
|
| H A D | omap44xx_spinlock.h | 3 * \brief kernel driver for the spinlock module, used for serial output
19 #include <kernel.h>
24 * \brief Map the OMAP44xx spinlock device into kernel virtual memory
|
| /barrelfish-master/usr/eclipseclp/Kernel/src/ |
| H A D | term_copy.c | 114 (ISPointer((root)->tag.kernel) \
121 #define HeaptermNumHandles(pw) HeaptermHeader(pw)->tag.kernel
206 if (!IsTag(arg_pw->tag.kernel, TFORWARD2))
208 Assert(t.kernel == arg_pw->tag.kernel);
209 arg_pw->tag.kernel &= ~(ALREADY_SEEN|NEED_FWD);
212 arg_pw->tag.kernel = Tag(TFORWARD);
215 dest->tag.kernel = TREF;
220 dest->tag.kernel = TREF;
232 dest->tag.kernel
[all...] |
| /barrelfish-master/tools/fastmodels/ |
| H A D | build_multiboot.c | 28 + cfg->kernel->args_len+1;
34 + cfg->kernel->args_len+1;
67 + cfg->kernel->args_len+1;
69 cfg->buf + cfg->kernel->args_start,
70 cfg->kernel->args_len);
73 + cfg->kernel->args_len+1;
116 /* Add the kernel module. */
118 struct multiboot_tag_module_64 *kernel= local
121 kernel->type= MULTIBOOT_TAG_TYPE_MODULE_64;
122 kernel
[all...] |
| /barrelfish-master/include/arch/x86/barrelfish/ |
| H A D | perfmon.h | 19 perfmon_event_t evt, perfmon_mask_t umask, bool kernel);
|
| /barrelfish-master/kernel/include/ |
| H A D | timer.h | 18 #include <kernel.h> /* systime_t */
|
| /barrelfish-master/usr/skb/programs/ |
| H A D | count_loc_pci_linux | 3 LINUX_PCI_PATH=/home/scadrian/abaglada/linux/kernel/linux-2.6.33.3/drivers/pci
|
| /barrelfish-master/tools/harness/ |
| H A D | barrelfish.py | 20 def __init__(self, machine, prefix, kernel=None):
24 self.kernel = None
25 if not kernel is None:
26 self.kernel = os.path.join(prefix, kernel)
34 def set_kernel(self, kernel, args=[]):
35 if kernel == None:
36 self.kernel = None
38 self.kernel = os.path.join(self.prefix, kernel)
[all...] |
| /barrelfish-master/usr/eclipseclp/documents/internal/ |
| H A D | INSTALL | 33 cd kernel
|
| /barrelfish-master/kernel/include/arch/x86/ |
| H A D | perfmon.h | 25 uint8_t counter_id, bool kernel,
|
| /barrelfish-master/kernel/arch/k1om/ |
| H A D | xeon_phi.c | 15 #include <kernel.h>
|
| /barrelfish-master/kernel/arch/x86_32/ |
| H A D | debug.c | 15 #include <kernel.h>
|
Completed in 88 milliseconds
1234567891011>>