19c582630SDaniel P. Berrange# hw/i386/xen/xen_platform.c 29c582630SDaniel P. Berrangexen_platform_log(char *s) "xen platform: %s" 39c582630SDaniel P. Berrange 49c582630SDaniel P. Berrange# hw/i386/xen/xen_pvdevice.c 59c582630SDaniel P. Berrangexen_pv_mmio_read(uint64_t addr) "WARNING: read from Xen PV Device MMIO space (address %"PRIx64")" 69c582630SDaniel P. Berrangexen_pv_mmio_write(uint64_t addr) "WARNING: write to Xen PV Device MMIO space (address %"PRIx64")" 793d43e7eSAnthony Xu 893d43e7eSAnthony Xu# xen-hvm.c 993d43e7eSAnthony Xuxen_ram_alloc(unsigned long ram_addr, unsigned long size) "requested: %#lx, size %#lx" 1093d43e7eSAnthony Xuxen_client_set_memory(uint64_t start_addr, unsigned long size, bool log_dirty) "%#"PRIx64" size %#lx, log_dirty %i" 1193d43e7eSAnthony Xuhandle_ioreq(void *req, uint32_t type, uint32_t dir, uint32_t df, uint32_t data_is_ptr, uint64_t addr, uint64_t data, uint32_t count, uint32_t size) "I/O=%p type=%d dir=%d df=%d ptr=%d port=%#"PRIx64" data=%#"PRIx64" count=%d size=%d" 1293d43e7eSAnthony Xuhandle_ioreq_read(void *req, uint32_t type, uint32_t df, uint32_t data_is_ptr, uint64_t addr, uint64_t data, uint32_t count, uint32_t size) "I/O=%p read type=%d df=%d ptr=%d port=%#"PRIx64" data=%#"PRIx64" count=%d size=%d" 1393d43e7eSAnthony Xuhandle_ioreq_write(void *req, uint32_t type, uint32_t df, uint32_t data_is_ptr, uint64_t addr, uint64_t data, uint32_t count, uint32_t size) "I/O=%p write type=%d df=%d ptr=%d port=%#"PRIx64" data=%#"PRIx64" count=%d size=%d" 1493d43e7eSAnthony Xucpu_ioreq_pio(void *req, uint32_t dir, uint32_t df, uint32_t data_is_ptr, uint64_t addr, uint64_t data, uint32_t count, uint32_t size) "I/O=%p pio dir=%d df=%d ptr=%d port=%#"PRIx64" data=%#"PRIx64" count=%d size=%d" 1593d43e7eSAnthony Xucpu_ioreq_pio_read_reg(void *req, uint64_t data, uint64_t addr, uint32_t size) "I/O=%p pio read reg data=%#"PRIx64" port=%#"PRIx64" size=%d" 1693d43e7eSAnthony Xucpu_ioreq_pio_write_reg(void *req, uint64_t data, uint64_t addr, uint32_t size) "I/O=%p pio write reg data=%#"PRIx64" port=%#"PRIx64" size=%d" 1793d43e7eSAnthony Xucpu_ioreq_move(void *req, uint32_t dir, uint32_t df, uint32_t data_is_ptr, uint64_t addr, uint64_t data, uint32_t count, uint32_t size) "I/O=%p copy dir=%d df=%d ptr=%d port=%#"PRIx64" data=%#"PRIx64" count=%d size=%d" 18*28b99f47SAnthony Xu 19*28b99f47SAnthony Xu# xen-mapcache.c 20*28b99f47SAnthony Xuxen_map_cache(uint64_t phys_addr) "want %#"PRIx64 21*28b99f47SAnthony Xuxen_remap_bucket(uint64_t index) "index %#"PRIx64 22*28b99f47SAnthony Xuxen_map_cache_return(void* ptr) "%p" 23*28b99f47SAnthony Xu 24