SYSTEM_WRITE_64 (reference) in projects: seL4-master

Searched refs:SYSTEM_WRITE_64 (Results 1 – 5 of 5) sorted by relevance

/seL4-master/include/arch/arm/armv/armv8-a/64/armv/
A D	machine.h	`38 #define SYSTEM_WRITE_64(reg, v) MSR(reg, v) macro`
/seL4-master/include/drivers/timer/
A D	arm_generic.h	`28 SYSTEM_WRITE_64(CNT_CVAL, deadline); in setDeadline()`
/seL4-master/include/arch/arm/armv/armv7-a/armv/
A D	machine.h	`49 #define SYSTEM_WRITE_64(reg, v) MCRR(reg, v) macro`
/seL4-master/include/arch/arm/armv/armv8-a/32/armv/
A D	machine.h	`49 #define SYSTEM_WRITE_64(reg, v) MCRR(reg, v) macro`
/seL4-master/src/arch/arm/machine/
A D	gic_v3.c	`370 SYSTEM_WRITE_64(ICC_SGI1R_EL1, sgi1r[i]); in ipi_send_target()`

Completed in 4 milliseconds