SYSTEM_READ_64 (reference) in projects: seL4-master

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

/seL4-master/include/arch/arm/armv/armv8-a/64/armv/
A D	machine.h	`39 #define SYSTEM_READ_64(reg, v) MRS(reg, v) macro`
/seL4-master/include/drivers/timer/
A D	arm_generic.h	`20 SYSTEM_READ_64(CNT_CT, time); in getCurrentTime()`
/seL4-master/include/arch/arm/armv/armv7-a/armv/
A D	machine.h	`50 #define SYSTEM_READ_64(reg, v) MRRC(reg, v) macro`
/seL4-master/include/arch/arm/armv/armv8-a/32/armv/
A D	machine.h	`50 #define SYSTEM_READ_64(reg, v) MRRC(reg, v) macro`
/seL4-master/src/drivers/timer/
A D	generic_timer.c	`60 SYSTEM_READ_64(CNTPCT, val); in read_cntpct()`

Completed in 8 milliseconds