Search

Sort by

In Project(s)

Searched refs:asidMax (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/api/
H A D	types.h	`24 #define asidMax (BIT(asidLowBits+asidHighBits)-1) macro`
/seL4-l4v-10.1.1/seL4/include/arch/riscv/arch/api/
H A D	types.h	`32 #define asidMax (BIT(asidLowBits + asidHighBits) - 1) macro`
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/api/
H A D	types.h	`25 #define asidMax (BIT(asidLowBits + asidHighBits) - 1) macro`

Completed in 29 milliseconds