Searched refs:exclaves_upcall_init (Results 1 – 3 of 3) sorted by relevance
43 exclaves_upcall_init(void);
221 kr = exclaves_upcall_init(); in exclaves_boot_exclavecore()
602 exclaves_upcall_init(void) in exclaves_upcall_init() function