Searched refs:kernel (Results 251 - 275 of 362) sorted by relevance

<<1112131415

/barrelfish-master/kernel/arch/x86/
H A Dapic.c15 #include <kernel.h>
33 * The kernel's APIC ID.
/barrelfish-master/usr/eclipseclp/Kernel/src/
H A Dbip_load.c816 pw->tag.kernel = TINT;
828 pw->tag.kernel = TINT;
867 tm.kernel = ModuleTag(d_.kernel_sepia);
H A Dembed.c165 initfile = strcat(strcpy(filename_buf, ec_eclipse_home), "/lib/kernel.eco");
168 initfile = strcat(strcpy(filename_buf, ec_eclipse_home), "/lib/kernel.pl");
181 module.tag.kernel = ModuleTag(ec_.d.kernel_sepia);
777 w.tag.kernel = TSTRG;
1303 tref.kernel = TREF;
H A Dproc_desc.c24 * ECLiPSe kernel
219 tm.kernel = ModuleTag(pd->module_ref);
402 mod.tag.kernel = ModuleTag(d_.kernel_sepia);
1870 * Functions to enter kernel built-ins
1880 tm.kernel = ModuleTag(d_.kernel_sepia);
/barrelfish-master/usr/eclipseclp/documents/userman/
H A Dumssyntax.tex98 \biptxtref{chtab-declaration}{set_chtab/2}{../bips/kernel/syntax/set_chtab-2.html}.
122 \bipref{read_token/2}{../bips/kernel/iochar/read_token-2.html} and
123 \bipref{read_token/3}{../bips/kernel/iochar/read_token-3.html}.
459 \bipref{op/3}{../bips/kernel/syntax/op-3.html} performs this
603 \bipref{set_chtab/2}{../bips/kernel/syntax/set_chtab-2.html}
622 \biptxtref{get_flag/2}{get_flag/2}{../bips/kernel/env/get_flag-2.html}).
H A Dumsterm.tex357 \bipref{export/1}{../bips/kernel/modules/export-1.html} predicate.
371 \bipref{set_stream/2}{../bips/kernel/iostream/set_stream-2.html} or
372 \bipref{open/3}{../bips/kernel/iostream/open-3.html}).
/barrelfish-master/usr/eclipseclp/documents/embedding/
H A Dembremoteproto.tex133 \bipref{remote_connect/3}{../bips/kernel/externals/remote_connect-3.html} or the more flexible \bipref{remote_connect_setup/3}{../bips/kernel/externals/remote_connect_setup-3.html}
134 and \bipref{remote_connect_accept/6}{../bips/kernel/externals/remote_connect_accept-6.html} pair. In fact, {\bf remote_connect/3} is implemented using {\bf
151 remote_protocol_version}, accessible via \bipref{get_flag/2}{../bips/kernel/env/get_flag-2.html}
200 when the remote connection was initiated -- for \bipref{remote_connect/3}{../bips/kernel/externals/remote_connect-3.html}, the
202 \bipref{remote_connect_setup/3}{../bips/kernel/externals/remote_connect_setup-3.html} and \bipref{remote_connect_accept/6}{../bips/kernel/externals/remote_connect_accept-6.html} are
214 it (it can be accessed later via \bipref{peer_get_property/3}{../bips/kernel/externals/peer_get_property-3.html}). The {\eclipse}
247 the \bipref{exec/3}{../bips/kernel/opsys/exec-3.html} command, with the host and port supplied as arguments.
380 call \bipref{remote_yield/1}{../bips/kernel/external
[all...]
/barrelfish-master/doc/022-armv8/
H A Dreport.tex366 \item \texttt{EL1} is privileged --- OS kernel.
531 (invalidate/clean by VA) are executable at \texttt{EL0}, and thus no kernel
601 \texttt{grub} or the Linux kernel as an EFI binary. If your board
619 \item Loads the kernel image and the initial applications, as directed, and
671 and loads the kernel image and any additional modules specified therein. All
688 \item The kernel command line.
690 \item The kernel's ELF section headers.
692 \item Hagfish allocates a page-aligned kernel stack (type
696 activates the CPU driver page table, switches to the kernel stack, and jumps
735 \item The CPU driver (kernel) comman
[all...]
/barrelfish-master/doc/018-Practical-guide/
H A DhelloWorldApp.tex405 kernel /x86_64/sbin/elver loglevel=3
465 kernel: 0: installing handler for IRQ 1
466 kernel: 0: installing handler for IRQ 2
/barrelfish-master/lib/openssl-1.0.0d/engines/
H A De_capi.c471 HMODULE kernel = GetModuleHandle(TEXT("KERNEL32.DLL")); local
474 if (kernel)
475 ctx->getconswindow = (GETCONSWIN)GetProcAddress(kernel, "GetConsoleWindow");
/barrelfish-master/usr/eclipseclp/Kernel/lib/
H A Denvironment.pl827 ((MatchType == full, delete(bip(Name,Arity, kernel, Type, File), List0, List1)) ->
829 print_help([bip(Name,Arity, kernel, Type, File)], full)
844 ( System == kernel -> true
851 ( System == kernel ->
H A Dnotinstance.pl69 kernel, this one maintains and explicit wavefront and has only one
/barrelfish-master/usr/eclipseclp/documents/libman/
H A Deplexdiff.tex113 Note that the generic \bipref{get_var_bounds/3}{../bips/kernel/termmanip/get_var_bounds-3.html} and \bipref{set_var_bounds/3}{../bips/kernel/termmanip/set_var_bounds-3.html}
/barrelfish-master/include/vm/
H A Dvm_kern.c70 #include <sys/kernel.h> /* for ticks and hz */
97 /* NB: Used by kernel debuggers. */
101 SYSCTL_NULL_ULONG_PTR, VM_MIN_KERNEL_ADDRESS, "Min kernel address");
109 "Max kernel address");
136 * Release a region of kernel virtual memory allocated
140 * This routine may not block on kernel maps.
153 * Allocates a region from the kernel address map and physical pages
154 * within the specified address range to the kernel object. Creates a
207 * Allocates a region from the kernel address map and physically
208 * contiguous pages within the specified address range to the kernel
[all...]
/barrelfish-master/lib/devif/backends/net/mlx4/drivers/net/mlx4/
H A Deq.c45 #include <linux/kernel.h>
H A Dmr.c40 #include <linux/kernel.h>
50 #include <linux/kernel.h>
/barrelfish-master/lib/devif/backends/net/mlx4/include/linux/
H A Dlinux_idr.c33 #include <sys/kernel.h>
/barrelfish-master/kernel/arch/x86_64/
H A Dinit.c15 #include <kernel.h>
51 * Used to store the address of global struct passed during boot across kernel
59 * This is the one and only kernel stack for a kernel instance.
72 * \brief Global Descriptor Table (GDT) for processor this kernel is running on.
76 * both kernel- and user-space and the only Task State Segment (TSS).
215 * This function sets up the page table needed to boot the kernel
219 * identity maps the local copy of the kernel in low memory and
220 * aliases it in kernel address space.
222 * \param base Start address of kernel imag
[all...]
/barrelfish-master/kernel/
H A Dstartup.c17 #include <kernel.h>
138 // the data section of the kernel can and will disappear when we reboot a
139 // core with a different kernel but want to restore the state
292 // Map kernel Cap in task cnode
390 * Allocate physical memory during kernel startup for application cores.
H A Dpaging_generic.c19 #include <kernel.h>
H A Dschedule_rbed.c57 # include <kernel.h>
/barrelfish-master/kernel/arch/armv8/
H A Dexn.c11 #include <kernel.h>
76 /* XXX - This code leaks the contents of the kernel stack to the
83 /* Why does the kernel do this? */
125 /* Why does the kernel do this? */
168 panic("pagefault while in kernel? Yuck.");
177 panic("pagefault while in kernel? Yuck.");
209 "in kernel");
461 panic("Instruction abort in the kernel.\n");
473 "Data abort in the kernel @0x%"PRIx64".\n",
583 panic("HW Breakpoint in the kernel
[all...]
/barrelfish-master/kernel/arch/k1om/
H A Dinit.c15 #include <kernel.h>
59 * Used to store the address of global struct passed during boot across kernel
67 * This is the one and only kernel stack for a kernel instance.
80 * \brief Global Descriptor Table (GDT) for processor this kernel is running on.
84 * both kernel- and user-space and the only Task State Segment (TSS).
230 * This function sets up the page table needed to boot the kernel
234 * identity maps the local copy of the kernel in low memory and
235 * aliases it in kernel address space.
237 * \param base Start address of kernel imag
[all...]
/barrelfish-master/kernel/arch/x86_32/
H A Dinit.c15 #include <kernel.h>
46 * Used to store the address of global struct passed during boot across kernel
49 // XXX: This won't work if this kernel is not relocated from a pristine image!
59 * Segment selector bases for both kernel- and user-space for fast
69 * This is the one and only kernel stack for a kernel instance.
82 * \brief Global Descriptor Table (GDT) for processor this kernel is running on.
86 * both kernel- and user-space and the only Task State Segment (TSS).
233 * This function sets up the page table needed to boot the kernel proper.
237 * of the kernel i
[all...]
H A Dpage_mappings_arch.c16 #include <kernel.h>
407 // only go to 512 because upper half of address space is kernel space

Completed in 123 milliseconds

<<1112131415