static void pagemem_init() { vmm_pagemem_init(); vm_pagemem_init(); #ifdef CONFIG_IOMMU iommu_init(); #endif }
static void pagemem_init() { vmm_pagemem_init(); vm_pagemem_init(); }