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