void iommu_init();
void set_iommupde(u_int32_t va, u_int32_t pa);