osfmk/x86_64/loose_ends.c

242  *  Read data from a physical address. Memory should not be cache inhibited.
336  *  Write data to a physical address. Memory should not be cache inhibited.
340 ml_phys_write_data(pmap_paddr_t paddr, unsigned long data, int size)
347 	    *(volatile unsigned char *)PHYSMAP_PTOV(paddr) = (unsigned char)data;
350 	    *(volatile unsigned short *)PHYSMAP_PTOV(paddr) = (unsigned short)data;
353 	    *(volatile unsigned int *)PHYSMAP_PTOV(paddr) = (unsigned int)data;
362 ml_phys_write_long_long(pmap_paddr_t paddr, unsigned long long data)
367 	*(volatile unsigned long long *)PHYSMAP_PTOV(paddr) = data;
370 void ml_phys_write_byte(vm_offset_t paddr, unsigned int data)
372         ml_phys_write_data((pmap_paddr_t)paddr, data, 1);
375 void ml_phys_write_byte_64(addr64_t paddr64, unsigned int data)
377         ml_phys_write_data((pmap_paddr_t)paddr64, data, 1);
380 void ml_phys_write_half(vm_offset_t paddr, unsigned int data)
382         ml_phys_write_data((pmap_paddr_t)paddr, data, 2);
385 void ml_phys_write_half_64(addr64_t paddr64, unsigned int data)
387         ml_phys_write_data((pmap_paddr_t)paddr64, data, 2);
390 void ml_phys_write(vm_offset_t paddr, unsigned int data)
392         ml_phys_write_data((pmap_paddr_t)paddr, data, 4);
395 void ml_phys_write_64(addr64_t paddr64, unsigned int data)
397         ml_phys_write_data((pmap_paddr_t)paddr64, data, 4);
400 void ml_phys_write_word(vm_offset_t paddr, unsigned int data)
402         ml_phys_write_data((pmap_paddr_t)paddr, data, 4);
405 void ml_phys_write_word_64(addr64_t paddr64, unsigned int data)
407         ml_phys_write_data((pmap_paddr_t)paddr64, data, 4);
410 void ml_phys_write_double(vm_offset_t paddr, unsigned long long data)
412         ml_phys_write_long_long((pmap_paddr_t)paddr, data);
415 void ml_phys_write_double_64(addr64_t paddr64, unsigned long long data)
417         ml_phys_write_long_long((pmap_paddr_t)paddr64, data);