null

Sort by

In Project(s)

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

/seL4-camkes-master/kernel/include/arch/arm/arch/api/
H A D	types.h	`19 #define asidMax (BIT(asidLowBits+asidHighBits)-1) macro`
/seL4-camkes-master/kernel/include/arch/riscv/arch/api/
H A D	types.h	`25 #define asidMax (BIT(asidLowBits + asidHighBits) - 1) macro`
/seL4-camkes-master/kernel/include/arch/x86/arch/api/
H A D	types.h	`20 #define asidMax (BIT(asidLowBits + asidHighBits) - 1) macro`

Completed in 34 milliseconds