MAP_DTLB
err = hv_mmu_map_perm_addr(va, data, MAP_ITLB|MAP_DTLB);
err = hv_mmu_map_perm_addr(va, data, MAP_DTLB);
err = hv_mmu_map_perm_addr(INTSTACK, data, MAP_DTLB);