Home
last modified time | relevance | path

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

/tf-rmm-v0.2.0/lib/arch/include/fake_host/
A Dmemory.h17 #define SCA_WRITE64(_p, _v) __sca_write64((void *)(_p), ((uint64_t)(_v))) macro
/tf-rmm-v0.2.0/lib/arch/include/aarch64/
A Dmemory.h25 #define SCA_WRITE64(_p, _v) __sca_write64((void *)(_p), ((uint64_t)(_v))) macro

Completed in 14 milliseconds