Searched refs:bootinfo_va (Results 1 – 1 of 1) sorted by relevance
580 void *bootinfo_va = (void *)phystokv(bootinfo_pa); in exclaves_xnuproxy_init() local581 assert3p(bootinfo_va, !=, NULL); in exclaves_xnuproxy_init()588 tb_error_t ret = xnuproxy_bootinfo__unmarshal(bootinfo_va, in exclaves_xnuproxy_init()