Searched defs:cval_high (Results 1 – 2 of 2) sorted by relevance

/seL4-master/include/arch/arm/armv/armv7-a/armv/
A D	vcpu.h	332 uint64_t cval_high = (uint64_t) val << 32 ; in set_cntv_cval_high() local 346 uint64_t cval_high = (ret >> 32) << 32; in set_cntv_cval_low() local
/seL4-master/include/arch/arm/armv/armv8-a/32/armv/
A D	vcpu.h	332 uint64_t cval_high = (uint64_t) val << 32 ; in set_cntv_cval_high() local 346 uint64_t cval_high = (ret >> 32) << 32; in set_cntv_cval_low() local

Completed in 11 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023