Searched refs:recount_leave_secure (Results 1 – 5 of 5) sorted by relevance
424 void recount_leave_secure(void);
1156 recount_leave_secure(); in exclaves_enter()1204 recount_leave_secure(); in exclaves_bootinfo()
1168 recount_leave_secure(void) in recount_leave_secure() function
94 On the boundaries of secure execution handoff, `recount_enter_secure` and `recount_leave_secure` up…
344 recount_leave_secure(); in txm_kernel_call_internal()