Searched refs:set (Results 76 - 98 of 98) sorted by relevance

1234

/seL4-refos-master/libs/libmuslc/src/thread/powerpc/
H A Dsyscall_cp.s43 #ok, the cancel flag was not set
/seL4-refos-master/libs/libplatsupport/src/plat/imx6/
H A Dclock.c110 uint32_t set; member in struct:__anon558
217 clk_regs.alg->pll_arm.set = PLL_BYPASS;
295 clk_regs.alg->pll_enet.set = PLL_BYPASS;
537 pll_usb->set = PLL_USB_ENABLE | PLL_USB_POWER | PLL_EN_USB_CLKS;
608 /* set source */
617 /* set source */
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/imx6/
H A Dclock.c110 uint32_t set; member in struct:__anon989
217 clk_regs.alg->pll_arm.set = PLL_BYPASS;
295 clk_regs.alg->pll_enet.set = PLL_BYPASS;
537 pll_usb->set = PLL_USB_ENABLE | PLL_USB_POWER | PLL_EN_USB_CLKS;
608 /* set source */
617 /* set source */
/seL4-refos-master/kernel/src/arch/x86/64/
H A Dtraps.S17 * The new SS is set to NULL if there is a change in CPL.
24 * field is set to the new CPL. The old SS and RSP are saved on the new stack.
54 /* If using multicore our gs base is set to point to a nodeInfo_t structure.
61 /* The user context under SMP is always set to Error + 1 for the current
502 * set when SYSENTER was called.
508 * So we test for EFLAGS.TF, and if it's set, we unset it, and let the
524 * It will then be the debug exception handler's responsibility to re-set
595 pushq $-1 # set Error -1 to mean entry via syscall
638 push $-1 # set Error -1 to mean entry via syscall
641 orq $0x200, (%rsp) # set interrup
[all...]
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/doc/
H A DGuidebook.tex89 set off for the dungeon. After several days of uneventful
392 {\it time\/} option set.
422 so far. Each symbol on the screen represents something. You can set
532 you are presented with will depend chiefly on how you have set the
553 option set, you must type `{\tt n}' to prefix a count, so the example above
612 & (if {\it number\_pad\/} set)
750 are listed later in this Guidebook. Options are usually set before the
976 %- on the Amiga set the {\it altmeta\/} option to get this behavior.
1144 When you traverse a set of stairs, or trigger a trap which sends you
1156 Ordinarily when you climb a set o
[all...]
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/doc/
H A DGuidebook.tex89 set off for the dungeon. After several days of uneventful
392 {\it time\/} option set.
422 so far. Each symbol on the screen represents something. You can set
532 you are presented with will depend chiefly on how you have set the
553 option set, you must type `{\tt n}' to prefix a count, so the example above
612 & (if {\it number\_pad\/} set)
750 are listed later in this Guidebook. Options are usually set before the
976 %- on the Amiga set the {\it altmeta\/} option to get this behavior.
1144 When you traverse a set of stairs, or trigger a trap which sends you
1156 Ordinarily when you climb a set o
[all...]
/seL4-refos-master/projects/refos/design/
H A Dprotocol.tex45 \autoref{f:estab} illustrates that to interact with a server one must establish a session with the server through the server's anonymous endpoint capability. An established session with a server is represented by a \obj{session} capability with the server knowing the security subject of the client and optionally death notifications set up so that the server is informed when the client exits and at this time can modify its bookkeeping accordingly.
65 R box R [ label = "set up death notify"];
170 \autoref{f:deathnotify} illustrates an example death notification protocol. Note that it is assumed that the client is active and has already established a connection with the data server (see \autoref{f:estab}) and that the data server has subsequently set up death notification.
196 \autoref{f:sharedata} is an example of how to set up a shared dataspace. Note that it is assumed that the share is not revocable and that sharing is with an entity that is trusted. Therefore, given two clients, at least one of the clients must trust the other client. Mutual distrust is not supported yet because capability transfer to an untrusted entity requires more than a direct call.
390 C box C [ label = "set up userland environment"];
H A Dintro.tex61 with at-least-once semantics (the bits are OR'd together). The asynchronous endpoint can be used to notify an untrusted client. To send messages (as opposed to just notifications) to an untrusted client, shared memory must be set up between the server and the client. Care must be taken to avoid unfavourable results like blocking and denial of service on shared memory buffers which may fill up.
73 In the sample implementation given using the \seLf microkernel, these assumptions are implemented as kernel interprocess communication endpoint \emph{badges}. Endpoint capabilities may be badged with an integer, and the badge of an endpoint once it has been set is immutable. When a badged endpoint capability is sent along the endpoint that it is pointing to, the kernel \emph{unwraps} the badge to be read. Only the process which created the badge can read it back via interprocess communication. \refOS makes heavy use of these badges in order for servers to track server objects (such as windows and dataspaces).
134 \texttt{(val1, val2, val3 ...)} represents the set of return values, output variables and/or reply capabilities of the method invocation
H A Dappendix.tex67 R box R [ label = "set up pager information for win\_capB"];
273 listens to the anonymous capability. It asks the server to set up
H A Dinterface.tex13 This chapter explains the interfaces which make up the \refOS protocol. These interfaces set the language with which components in the system interact. Interfaces are intended to provide abstractions to manage conceptual objects such as a processes, files and devices.
215 Give the content from the local dataserver to the remote dataserver in response to the remote dataserver's earlier notification asking for content. The content is assumed to be in the set up parameter buffer. This call implicitly requires a parameter buffer to be set up, and how this is done is up to the implementation. Even though the notification from the dataserver asking for content uses an ID to identify the dataspace, the reply, for security reasons, gives the actual dataspace capability. The ID may be used securely if the dataserver implementation supports per-client ID checking, and in this situtation a version of this method with an ID instead of a capability could be added.
253 Create an endpoint and set this endpoint on the root name server in order for clients to be able to find the root name server and connect to it. The anon capability is given to clients looking for the root name server, and then clients make their connection calls through the anon capability to establish a session. Re-registering replaces the current server anon capability.
H A Dpaper.tex188 This paper presents a reference design for a multi-server operating system designed for an \texttt{L4} based microkernel. It outlines a set of minimal design abstractions and methodologies which provide a standard protocol for common tasks and sample message sequences. In addition to this document, \refOS provides a documented sample implementation of this protocol. For more information about \refOS, refer to the doxygen code documentation.
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/
H A Dhack.c734 int set = 0; /* two sets current and previous */ local
758 int x = travelstepx[set][i];
759 int y = travelstepy[set][i];
774 travelstepx[1-set][nn] = x;
775 travelstepy[1-set][nn] = y;
796 travelstepx[1-set][nn] = nx;
797 travelstepy[1-set][nn] = ny;
806 set = 1-set;
847 set
[all...]
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/
H A Dhack.c734 int set = 0; /* two sets current and previous */ local
758 int x = travelstepx[set][i];
759 int y = travelstepy[set][i];
774 travelstepx[1-set][nn] = x;
775 travelstepy[1-set][nn] = y;
796 travelstepx[1-set][nn] = nx;
797 travelstepy[1-set][nn] = ny;
806 set = 1-set;
847 set
[all...]
/seL4-refos-master/kernel/manual/tools/libsel4_tools/
H A Dbitfield_gen.py9 # A tool for generating bifield structures with get/set/new methods
1266 used_names = set()
1267 used_values = set()
1479 # Generate get/set specs
1557 # Pointer set spec
1972 "Return the set of candidate function names for a union"
2097 used = set()
2197 missed_fields = set(self.field_map.keys())
2368 # Generate get/set specs
2577 "Return the set o
[all...]
/seL4-refos-master/kernel/libsel4/tools/
H A Dbitfield_gen.py9 # A tool for generating bifield structures with get/set/new methods
1266 used_names = set()
1267 used_values = set()
1479 # Generate get/set specs
1557 # Pointer set spec
1972 "Return the set of candidate function names for a union"
2097 used = set()
2197 missed_fields = set(self.field_map.keys())
2368 # Generate get/set specs
2577 "Return the set o
[all...]
/seL4-refos-master/libs/libsel4/tools/
H A Dbitfield_gen.py9 # A tool for generating bifield structures with get/set/new methods
1266 used_names = set()
1267 used_values = set()
1479 # Generate get/set specs
1557 # Pointer set spec
1972 "Return the set of candidate function names for a union"
2097 used = set()
2197 missed_fields = set(self.field_map.keys())
2368 # Generate get/set specs
2577 "Return the set o
[all...]
/seL4-refos-master/kernel/tools/
H A Dbitfield_gen.py9 # A tool for generating bifield structures with get/set/new methods
1266 used_names = set()
1267 used_values = set()
1479 # Generate get/set specs
1557 # Pointer set spec
1972 "Return the set of candidate function names for a union"
2097 used = set()
2197 missed_fields = set(self.field_map.keys())
2368 # Generate get/set specs
2577 "Return the set o
[all...]
/seL4-refos-master/kernel/manual/parts/
H A Dcspace.tex153 it carries the maximum set of access rights. Other, less-powerful
156 \apifunc{seL4\_CNode\_Mutate}{cnode_mutate}. If a greater set of
369 \item a top level CNode object with a 12-bit guard set to 0x000 and
427 \item[Cap A.] The first CNode has a 4-bit guard set to 0x0, and an
434 \item[Cap B.] Again, the first CNode has a 4-bit guard set to 0x0, and
H A Dipc.tex223 buffer is set to the number of capabilities transferred up to failure.
242 \item If this is the case. A reply capability is set in a specific slot of the
243 receiver TCB. The Grant right of that reply capability is set by copying the Grant
H A Dio.tex325 formats). Therefore, there is no need to provide a new set of page structure caps
326 nor a separate set of map and unmap functions. To manage the assignment, the
H A Dobjects.tex388 \item Frame objects retyped from device untyped objects cannot be set as thread IPC buffers, or used
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/zynq7000/uboot/
H A Dnet.h109 * recv: Check if the hardware received a packet. If so, set the pointer to the
171 int (*mcast)(struct eth_device *, const u8 *enetaddr, u8 set);
231 void eth_set_current(void); /* set nterface to ethcur var */
239 * eth_setenv_enetaddr_by_index() - set the MAC address envrionment variable
242 * The environment variable to be set is defined by <@base_name><@index>addr.
796 * and has the local assigned bit set.
807 addr[0] |= 0x02; /* set local assignment bit (IEEE802) */
/seL4-refos-master/libs/libmuslc/ldso/
H A Ddynlink.c1265 sigset_t set; local
1266 __block_all_sigs(&set);
1268 __restore_sigs(&set);
1301 __restore_sigs(&set);
1614 /* Temporarily set the tls size to the full size of

Completed in 139 milliseconds

1234