3 lines
66 B
C
3 lines
66 B
C
void iommu_init();
|
|
void set_iommupde(u_int32_t va, u_int32_t pa);
|
void iommu_init();
|
|
void set_iommupde(u_int32_t va, u_int32_t pa);
|