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

/optee_os/core/arch/arm/include/kernel/
A D	thread.h	142 uint64_t x17; member 200 uint64_t x17; member

Completed in 9 milliseconds

Last Index update Sat Jun 03 09:59:21 CST 2023