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

/seL4-refos-master/kernel/include/arch/arm/armv/armv7ve/armv/
H A Ddebug.h43 #define DBGWCR_BAS_HIGH_SHIFT (9u) macro
78 wcrtmp |= BIT(DBGWCR_BAS_HIGH_SHIFT);
83 return wcrtmp & BIT(DBGWCR_BAS_HIGH_SHIFT);
/seL4-refos-master/kernel/include/arch/arm/armv/armv7-a/armv/
H A Ddebug.h43 #define DBGWCR_BAS_HIGH_SHIFT (9u) macro
78 wcrtmp |= BIT(DBGWCR_BAS_HIGH_SHIFT);
83 return wcrtmp & BIT(DBGWCR_BAS_HIGH_SHIFT);
/seL4-refos-master/kernel/include/arch/arm/armv/armv8-a/32/armv/
H A Ddebug.h43 #define DBGWCR_BAS_HIGH_SHIFT (9u) macro
78 wcrtmp |= BIT(DBGWCR_BAS_HIGH_SHIFT);
83 return wcrtmp & BIT(DBGWCR_BAS_HIGH_SHIFT);

Completed in 80 milliseconds