UserlandFS: 64bit fix.

This commit is contained in:
Adrien Destugues 2014-11-20 10:50:35 +01:00
parent 932b333fa2
commit 9b8e5185da
1 changed files with 4 additions and 4 deletions

View File

@ -85,14 +85,14 @@ RequestPort::SendRequest(RequestAllocator* allocator)
//PRINT(("RequestPort::SendRequest(%lu)\n", allocator->GetRequest()->GetType()));
#if USER && !KERNEL_EMU
if (!is_userland_request(allocator->GetRequest()->GetType())) {
ERROR(("RequestPort::SendRequest(%lu): request is not a userland "
"request\n", allocator->GetRequest()->GetType()));
ERROR(("RequestPort::SendRequest(%" B_PRId32 "): request is not a "
"userland request\n", allocator->GetRequest()->GetType()));
debugger("Request is not a userland request.");
}
#else
if (!is_kernel_request(allocator->GetRequest()->GetType())) {
ERROR(("RequestPort::SendRequest(%lu): request is not a kernel "
"request\n", allocator->GetRequest()->GetType()));
ERROR(("RequestPort::SendRequest(%" B_PRId32 "): request is not a "
"kernel request\n", allocator->GetRequest()->GetType()));
debugger("Request is not a kernel request.");
}
#endif