Home
last modified time | relevance | path

Searched defs:SYSTEM_WRITE_WORD (Results 1 – 3 of 3) sorted by relevance

/seL4-master/include/arch/arm/armv/armv8-a/64/armv/
A Dmachine.h36 #define SYSTEM_WRITE_WORD(reg, v) MSR(reg, v) macro
/seL4-master/include/arch/arm/armv/armv7-a/armv/
A Dmachine.h47 #define SYSTEM_WRITE_WORD(reg, v) MCR(reg, v) macro
/seL4-master/include/arch/arm/armv/armv8-a/32/armv/
A Dmachine.h47 #define SYSTEM_WRITE_WORD(reg, v) MCR(reg, v) macro

Completed in 4 milliseconds