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