|
@@ -21,8 +21,3 @@ xen_map_resource_ioreq(uint32_t id, void *addr) "id: %u addr: %p"
|
|
|
cpu_ioreq_config_read(void *req, uint32_t sbdf, uint32_t reg, uint32_t size, uint32_t data) "I/O=%p sbdf=0x%x reg=%u size=%u data=0x%x"
|
|
|
cpu_ioreq_config_write(void *req, uint32_t sbdf, uint32_t reg, uint32_t size, uint32_t data) "I/O=%p sbdf=0x%x reg=%u size=%u data=0x%x"
|
|
|
|
|
|
-# xen-mapcache.c
|
|
|
-xen_map_cache(uint64_t phys_addr) "want 0x%"PRIx64
|
|
|
-xen_remap_bucket(uint64_t index) "index 0x%"PRIx64
|
|
|
-xen_map_cache_return(void* ptr) "%p"
|
|
|
-
|