Searched defs:spm_vcorefs_v2_args (Results 1 – 2 of 2) sorted by relevance
483 uint64_t spm_vcorefs_v2_args(u_register_t x1, u_register_t x2, u_register_t x3, u_register_t *x4) in spm_vcorefs_v2_args() function