/barrelfish-master/kernel/arch/x86/ |
H A D | apic.c | 15 #include <kernel.h> 33 * The kernel's APIC ID.
|
/barrelfish-master/usr/eclipseclp/Kernel/src/ |
H A D | bip_load.c | 816 pw->tag.kernel = TINT; 828 pw->tag.kernel = TINT; 867 tm.kernel = ModuleTag(d_.kernel_sepia);
|
H A D | embed.c | 165 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 D | proc_desc.c | 24 * 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 D | umssyntax.tex | 98 \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 D | umsterm.tex | 357 \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 D | embremoteproto.tex | 133 \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 D | report.tex | 366 \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 D | helloWorldApp.tex | 405 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 D | e_capi.c | 471 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 D | environment.pl | 827 ((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 D | notinstance.pl | 69 kernel, this one maintains and explicit wavefront and has only one
|
/barrelfish-master/usr/eclipseclp/documents/libman/ |
H A D | eplexdiff.tex | 113 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 D | vm_kern.c | 70 #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 D | eq.c | 45 #include <linux/kernel.h>
|
H A D | mr.c | 40 #include <linux/kernel.h> 50 #include <linux/kernel.h>
|
/barrelfish-master/lib/devif/backends/net/mlx4/include/linux/ |
H A D | linux_idr.c | 33 #include <sys/kernel.h>
|
/barrelfish-master/kernel/arch/x86_64/ |
H A D | init.c | 15 #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 D | startup.c | 17 #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 D | paging_generic.c | 19 #include <kernel.h>
|
H A D | schedule_rbed.c | 57 # include <kernel.h>
|
/barrelfish-master/kernel/arch/armv8/ |
H A D | exn.c | 11 #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 D | init.c | 15 #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 D | init.c | 15 #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 D | page_mappings_arch.c | 16 #include <kernel.h> 407 // only go to 512 because upper half of address space is kernel space
|