osfmk/i386/loose_ends.c

126 	map = pmap_get_mapwindow((pt_entry_t)(INTEL_PTE_VALID | INTEL_PTE_RW | ((pmap_paddr_t)src64 & PG_FRAME) | INTEL_PTE_REF | INTEL_PTE_MOD));
154 	src_map = pmap_get_mapwindow((pt_entry_t)(INTEL_PTE_VALID | ((pmap_paddr_t)src64 & PG_FRAME) | INTEL_PTE_REF));
155 	dst_map = pmap_get_mapwindow((pt_entry_t)(INTEL_PTE_VALID | INTEL_PTE_RW | ((pmap_paddr_t)dst64 & PG_FRAME) |
187 	dst_map = pmap_get_mapwindow((pt_entry_t)(INTEL_PTE_VALID | INTEL_PTE_RW | ((pmap_paddr_t)dst64 & PG_FRAME) |
231 ml_phys_read_data(pmap_paddr_t paddr, int size )
264 ml_phys_read_long_long(pmap_paddr_t paddr )
284         return ml_phys_read_data((pmap_paddr_t)paddr, 4);
289         return ml_phys_read_data((pmap_paddr_t)paddr, 4);
294         return ml_phys_read_data((pmap_paddr_t)paddr64, 4);
299         return ml_phys_read_data((pmap_paddr_t)paddr64, 4);
304         return ml_phys_read_data((pmap_paddr_t)paddr, 2);
309         return ml_phys_read_data((pmap_paddr_t)paddr64, 2);
314         return ml_phys_read_data((pmap_paddr_t)paddr, 1);
319         return ml_phys_read_data((pmap_paddr_t)paddr64, 1);
324         return ml_phys_read_long_long((pmap_paddr_t)paddr);
329         return ml_phys_read_long_long((pmap_paddr_t)paddr64);
339 ml_phys_write_data(pmap_paddr_t paddr, unsigned long data, int size)
366 ml_phys_write_long_long(pmap_paddr_t paddr, unsigned long long data)
386         ml_phys_write_data((pmap_paddr_t)paddr, data, 1);
391         ml_phys_write_data((pmap_paddr_t)paddr64, data, 1);
396         ml_phys_write_data((pmap_paddr_t)paddr, data, 2);
401         ml_phys_write_data((pmap_paddr_t)paddr64, data, 2);
406         ml_phys_write_data((pmap_paddr_t)paddr, data, 4);
411         ml_phys_write_data((pmap_paddr_t)paddr64, data, 4);
416         ml_phys_write_data((pmap_paddr_t)paddr, data, 4);
421         ml_phys_write_data((pmap_paddr_t)paddr64, data, 4);
426         ml_phys_write_long_long((pmap_paddr_t)paddr, data);
431         ml_phys_write_long_long((pmap_paddr_t)paddr64, data);
467     *val = ml_phys_read_64((pmap_paddr_t)paddr64);
547 	pmap_paddr_t src;