Searched defs:x10 (Results 1 – 3 of 3) sorted by relevance
511 uint64_t x10 = SMC_GET_GP(handle, CTX_GPREG_X10); in rmmd_rmm_el3_handler() local
53 uint64_t x10; member
1101 u_register_t x5, x6, x7, x8, x9, x10, x11; local