Fix alloc_request and notify_filled for 64bit