if (src_cte->mapping_info.pte) {
// already mapped
#if DIAGNOSTIC_ON_ERROR
- printf("caps_copy_to_vnode: this copy is already mapped @0x%lx\n", src_cte->mapping_info.pte);
+ printf("caps_copy_to_vnode: this copy is already mapped @0x%"PRIxLPADDR"\n", src_cte->mapping_info.pte);
#endif
#if RETURN_ON_ERROR
return SYS_ERR_VM_ALREADY_MAPPED;
errval_t r = handler_func(dest_cap, dest_slot, src_cap, flags, offset, pte_count);
if (err_is_fail(r)) {
- printf("caps_copy_to_vnode: handler func returned %ld\n", r);
+ printf("caps_copy_to_vnode: handler func returned %"PRIuERRV"\n", r);
}
#if 0
else {
#endif
errval_t err = mdb_find_cap_for_address(paddr, &mem);
if (err_is_fail(err)) {
- printf("could not find a cap for 0x%"PRIxGENPADDR" (%ld)\n", paddr, err);
+ printf("could not find a cap for 0x%"PRIxGENPADDR" (%"PRIuERRV")\n", paddr, err);
return err;
}
#if 0
// unmap controller memory
errval_t err = cap_destroy(_binding->port_info.hba_cap);
if (err_is_fail(err)) {
- printf("cap_destroy: %s (%ld)\n", err_getstring(err), err);
+ printf("cap_destroy: %s (%"PRIuERRV")\n", err_getstring(err), err);
}
ahci_mgmt_close_call__tx(mgmt_binding, NOP_CONT, _binding->port_id);
char str[256];
size_t len;
- len = snprintf(str, sizeof(str), "\033[34m%.*s.\033[31m%u.%lu\033[0m: ", DISP_NAME_LEN, disp_name(),
+ len = snprintf(str, sizeof(str), "\033[34m%.*s.\033[31m%u.%"PRIuPTR"\033[0m: ", DISP_NAME_LEN, disp_name(),
disp_get_core_id(), thread_id());
if (len < sizeof(str)) {
va_start(argptr, fmt);