Searched refs:ASID_HIGH (Results 1 - 12 of 12) sorted by relevance
| /seL4-test-master/kernel/include/arch/arm/arch/machine/ |
| H A D | capdl.h | 20 printf("(asid_high: 0x%lx)\n", (long unsigned int)ASID_HIGH(cap_asid_pool_cap_get_capASIDBase(asid_cap)));
|
| /seL4-test-master/kernel/include/arch/x86/arch/32/mode/object/ |
| H A D | structures.h | 60 #define ASID_HIGH(a) ((a >> asidLowBits) & MASK(asidHighBits)) macro
72 return cap_frame_cap_set_capFMappedASIDHigh(cap, ASID_HIGH(asid));
|
| /seL4-test-master/kernel/src/arch/x86/32/object/ |
| H A D | objecttype.c | 143 ASID_HIGH(asidInvalid), /* capFMappedASIDHigh */
155 ASID_HIGH(asidInvalid), /* capFMappedASIDHigh */
|
| /seL4-test-master/kernel/include/arch/riscv/arch/object/ |
| H A D | structures.h | 34 #define ASID_HIGH(a) ((a >> asidLowBits) & MASK(asidHighBits)) macro
|
| /seL4-test-master/kernel/src/arch/arm/32/object/ |
| H A D | objecttype.c | 402 ASID_HIGH(asidInvalid),
421 0, !!deviceMemory, ASID_HIGH(asidInvalid),
450 0, !!deviceMemory, ASID_HIGH(asidInvalid),
479 0, !!deviceMemory, ASID_HIGH(asidInvalid),
|
| /seL4-test-master/kernel/include/arch/x86/arch/64/mode/object/ |
| H A D | structures.h | 112 #define ASID_HIGH(a) ((a >> asidLowBits) & MASK(asidHighBits)) macro
|
| /seL4-test-master/kernel/src/arch/riscv/machine/ |
| H A D | capdl.c | 23 printf("(asid_high: 0x%lx)\n", ASID_HIGH(asid));
|
| /seL4-test-master/kernel/include/arch/arm/arch/64/mode/object/ |
| H A D | structures.h | 120 #define ASID_HIGH(a) ((a >> asidLowBits) & MASK(asidHighBits)) macro
|
| /seL4-test-master/kernel/include/arch/arm/arch/32/mode/object/ |
| H A D | structures.h | 108 #define ASID_HIGH(a) ((a >> asidLowBits) & MASK(asidHighBits)) macro
|
| /seL4-test-master/kernel/src/arch/x86/32/kernel/ |
| H A D | vspace.c | 484 ASID_HIGH(asid), /* capFMappedASIDHigh */
|
| /seL4-test-master/kernel/src/arch/x86/64/machine/ |
| H A D | capdl.c | 317 printf("(asid_high: 0x%lx)\n", ASID_HIGH(asid));
|
| /seL4-test-master/kernel/src/arch/arm/32/kernel/ |
| H A D | vspace.c | 471 ASID_HIGH(asid), /* capFMappedASIDHigh */
484 ASID_HIGH(asid), /* capFMappedASIDHigh */
|
Completed in 46 milliseconds