vtag_unmap_perm_tl1
xt_one(cpu, vtag_unmap_perm_tl1, (uint64_t)va, KCONTEXT);
xt_some(other_cpus, vtag_unmap_perm_tl1, (uint64_t)OFW_START_ADDR,
void vtag_unmap_perm_tl1(uint64_t addr, uint64_t ctx);