Searched refs:bootinfo_pa (Results 1 – 2 of 2) sorted by relevance
56 exclaves_xnuproxy_init(uint64_t bootinfo_pa);
898 exclaves_xnuproxy_init(uint64_t bootinfo_pa) in exclaves_xnuproxy_init() argument900 assert3u(bootinfo_pa, !=, 0); in exclaves_xnuproxy_init()904 void *bootinfo_va = (void *)phystokv(bootinfo_pa); in exclaves_xnuproxy_init()