Searched refs:xnuproxy_boot_info (Results 1 – 1 of 1) sorted by relevance
131 exclaves_scheduler_init(uint64_t boot_info, uint64_t *xnuproxy_boot_info);1046 uint64_t xnuproxy_boot_info = 0; in exclaves_boot_early() local1047 kr = exclaves_scheduler_init(boot_info, &xnuproxy_boot_info); in exclaves_boot_early()1054 kr = exclaves_xnuproxy_init(xnuproxy_boot_info); in exclaves_boot_early()1353 exclaves_scheduler_init(uint64_t boot_info, uint64_t *xnuproxy_boot_info) in exclaves_scheduler_init() argument1441 *xnuproxy_boot_info = global->v1.proxyInit; in exclaves_scheduler_init()