Searched refs:bootinfo_pa (Results 1 – 2 of 2) sorted by relevance
53 exclaves_xnuproxy_init(uint64_t bootinfo_pa);
574 exclaves_xnuproxy_init(uint64_t bootinfo_pa) in exclaves_xnuproxy_init() argument576 assert3u(bootinfo_pa, !=, 0); in exclaves_xnuproxy_init()580 void *bootinfo_va = (void *)phystokv(bootinfo_pa); in exclaves_xnuproxy_init()