Searched refs:backend_abi_leaving_spm (Results 1 – 6 of 6) sorted by relevance
37 uint32_t backend_abi_leaving_spm(uint32_t result);
38 #pragma required = backend_abi_leaving_spm
39 #pragma required = backend_abi_leaving_spm
43 #pragma required = backend_abi_leaving_spm
99 backend_abi_leaving_spm(result); in thread_mode_spm_return()
438 uint32_t backend_abi_leaving_spm(uint32_t result) in backend_abi_leaving_spm() function
