| /barrelfish-2018-10-04/doc/013-capability-mgmt/ |
| H A D | type_system.tex | 136 \begin{invocation}{Mint}\label{sec:mint}
167 for copy and mint, and a mint with both cap-dependent parameters set to zero
409 \item[Mint parameters] The mint parameters can be used to change the
|
| /barrelfish-2018-10-04/doc/021-cpudriver/ |
| H A D | cpudriver.tex | 183 The Mint invocation (see \autoref{sec:mint}) allows the permissible
|
| /barrelfish-2018-10-04/kernel/arch/armv7/ |
| H A D | syscall.c | 139 bool mint)
150 // params only sent if mint operation
151 if (mint) {
161 param1, param2, mint);
137 copy_or_mint(struct capability *root, struct registers_arm_syscall_args* args, bool mint) argument
|
| /barrelfish-2018-10-04/kernel/arch/armv8/ |
| H A D | syscall.c | 142 bool mint)
153 // params only sent if mint operation
154 if (mint) {
164 param1, param2, mint);
140 copy_or_mint(struct capability *root, struct registers_aarch64_syscall_args* args, bool mint) argument
|
| /barrelfish-2018-10-04/kernel/arch/x86_32/ |
| H A D | syscall.c | 150 * Common code for copying and minting except the mint flag and param passing
153 uintptr_t *args, bool mint)
162 // params only sent if mint operation
163 if (mint) {
171 destcn_vbits, source_vbits, param1, param2, mint);
152 copy_or_mint(struct capability *root, uintptr_t *args, bool mint) argument
|
| /barrelfish-2018-10-04/kernel/arch/x86_64/ |
| H A D | syscall.c | 156 * Common code for copying and minting except the mint flag and param passing
159 uintptr_t *args, bool mint)
170 // params only sent if mint operation
171 if (mint) {
182 param1, param2, mint);
158 copy_or_mint(struct capability *root, uintptr_t *args, bool mint) argument
|
| /barrelfish-2018-10-04/kernel/ |
| H A D | capabilities.c | 1742 struct cte *src_cte, bool mint, uintptr_t param1,
1762 return caps_copy_to_cte(dest_cte, src_cte, mint, param1, param2);
1768 errval_t caps_copy_to_cte(struct cte *dest_cte, struct cte *src_cte, bool mint, argument
1784 if (!mint) {
1807 if(!mint) {
1809 // Handle mapping here only for non-mint operations
1810 // (mint can change eq fields which would make the early insertion
1851 // Unhandled source type for mint
1741 caps_copy_to_cnode(struct cte *dest_cnode_cte, cslot_t dest_slot, struct cte *src_cte, bool mint, uintptr_t param1, uintptr_t param2) argument
|
| H A D | syscall.c | 339 * Common code for copying and minting except the mint flag and param passing
348 * \param param1 First parameter for mint
349 * \param param2 Second parameter for mint
350 * \param mint Call is a minting operation
357 uintptr_t param1, uintptr_t param2, bool mint)
361 if (!mint) {
416 mint, param1, param2));
353 sys_copy_or_mint(struct capability *root, capaddr_t dest_cspace_cptr, capaddr_t destcn_cptr, cslot_t dest_slot, capaddr_t source_croot_ptr, capaddr_t source_cptr, uint8_t destcn_level, uint8_t source_level, uintptr_t param1, uintptr_t param2, bool mint) argument
|
| /barrelfish-2018-10-04/kernel/include/ |
| H A D | capabilities.h | 122 struct cte *src_cte, bool mint, uintptr_t param1,
124 errval_t caps_copy_to_cte(struct cte *dest_cte, struct cte *src_cte, bool mint,
|
| H A D | syscall.h | 53 uintptr_t param1, uintptr_t param2, bool mint);
|
| /barrelfish-2018-10-04/usr/eclipseclp/config/ |
| H A D | config.guess | 393 # to the lowercase version "mint" (or "freemint"). Finally
397 atarist[e]:*MiNT:*:* | atarist[e]:*mint:*:* | atarist[e]:*TOS:*:*)
398 echo m68k-atari-mint${UNAME_RELEASE}
400 atari*:*MiNT:*:* | atari*:*mint:*:* | atarist[e]:*TOS:*:*)
401 echo m68k-atari-mint${UNAME_RELEASE}
403 *falcon*:*MiNT:*:* | *falcon*:*mint:*:* | *falcon*:*TOS:*:*)
404 echo m68k-atari-mint${UNAME_RELEASE}
406 milan*:*MiNT:*:* | milan*:*mint:*:* | *milan*:*TOS:*:*)
407 echo m68k-milan-mint${UNAME_RELEASE}
409 hades*:*MiNT:*:* | hades*:*mint
[all...] |
| H A D | config.sub | 238 -mint | -mint[0-9]*)
240 os=-mint
772 *mint | -mint[0-9]* | *MiNT | *MiNT[0-9]*)
774 os=-mint
1446 -*mint | -mint[0-9]* | -*MiNT | -MiNT[0-9]*)
1447 os=-mint
1649 os=-mint
[all...] |