x86bios_alloc(): Unsign a counter.

The value can't even be signed so we can avoid the signed vs. unsigned
comparison.

Reviewed by:	jkim
This commit is contained in:
Pedro F. Giffuni 2016-04-29 20:22:10 +00:00
parent fd7af143e2
commit 5cb9d60e30

View File

@ -119,7 +119,7 @@ void *
x86bios_alloc(uint32_t *offset, size_t size, int flags)
{
void *vaddr;
int i;
u_int i;
if (offset == NULL || size == 0)
return (NULL);