Searched refs:PRId32 (Results 1 – 7 of 7) sorted by relevance
| /xen/tools/libs/evtchn/ |
| A D | minios.c | 177 printf("xenevtchn_bind_interdomain(%d, %"PRId32")", domid, remote_port); in xenevtchn_bind_interdomain()
203 printf("Warning: couldn't find port %"PRId32" for xc handle %x\n", port, fd); in xenevtchn_unbind()
|
| /xen/tools/libxl/ |
| A D | libxl_checkpoint_device.c | 154 " (device=%s:%"PRId32"/%"PRId32")", in device_setup_iterate()
|
| /xen/xen/include/xen/ |
| A D | inttypes.h | 39 # define PRId32 "d" macro
|
| /xen/tools/libs/hypfs/ |
| A D | core.c | 346 ret = asprintf(&ret_buf, "%"PRId32, *(int32_t *)buf); in xenhypfs_read()
|
| /xen/tools/libxc/ |
| A D | xc_dom_arm.c | 225 xc_dom_printf(xch, "%s: guest %s, address size %" PRId32 "", __FUNCTION__, in set_mode()
|
| A D | xc_dom_x86.c | 1174 xc_dom_printf(xch, "%s: guest %s, address size %" PRId32 "", __FUNCTION__, in x86_compat()
|
| /xen/xen/arch/arm/ |
| A D | domain_build.c | 1171 printk(XENLOG_ERR "Unable to map IRQ%"PRId32" to dom%d\n", in map_irq_to_domain()
1192 printk(XENLOG_ERR "%s: IRQ%"PRId32" is not a SPI\n", in map_dt_irq_to_domain()
1202 "%s: Unable to setup IRQ%"PRId32" to dom%d\n", in map_dt_irq_to_domain()
|
Completed in 22 milliseconds