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

/seL4-refos-master/kernel/src/arch/arm/32/machine/
H A Dregisterset.c29 TPIDRURW, TPIDRURO
/seL4-refos-master/kernel/include/arch/arm/arch/32/mode/machine/
H A Dregisterset.h46 * Virtualise the TPIDRURW register in the globals frame.
109 TPIDRURW = 18, enumerator in enum:_register
110 TLS_BASE = TPIDRURW,
/seL4-refos-master/kernel/include/arch/arm/arch/32/mode/
H A Dmachine.h243 /* TPIDRURW is writeable from EL0 but not with globals frame. */
244 setRegister(thread, TPIDRURW, readTPIDRURW());
254 writeTPIDRURW(getRegister(thread, TPIDRURW));

Completed in 26 milliseconds