Searched refs:ASID_HIGH (Results 1 - 12 of 12) sorted by relevance
/seL4-camkes-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-camkes-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-camkes-master/kernel/src/arch/x86/32/object/ |
H A D | objecttype.c | 143 ASID_HIGH(asidInvalid), /* capFMappedASIDHigh */ 155 ASID_HIGH(asidInvalid), /* capFMappedASIDHigh */
|
/seL4-camkes-master/kernel/include/arch/riscv/arch/object/ |
H A D | structures.h | 34 #define ASID_HIGH(a) ((a >> asidLowBits) & MASK(asidHighBits)) macro
|
/seL4-camkes-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-camkes-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-camkes-master/kernel/src/arch/riscv/machine/ |
H A D | capdl.c | 23 printf("(asid_high: 0x%lx)\n", ASID_HIGH(asid));
|
/seL4-camkes-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-camkes-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-camkes-master/kernel/src/arch/x86/32/kernel/ |
H A D | vspace.c | 484 ASID_HIGH(asid), /* capFMappedASIDHigh */
|
/seL4-camkes-master/kernel/src/arch/x86/64/machine/ |
H A D | capdl.c | 317 printf("(asid_high: 0x%lx)\n", ASID_HIGH(asid));
|
/seL4-camkes-master/kernel/src/arch/arm/32/kernel/ |
H A D | vspace.c | 471 ASID_HIGH(asid), /* capFMappedASIDHigh */ 484 ASID_HIGH(asid), /* capFMappedASIDHigh */
|
Completed in 130 milliseconds