Cast register_t to uintptr_t before casting to void *.

Not sure what's going on here but evbmips64-el build fails
without this cast.
This commit is contained in:
alnsn 2019-01-22 01:25:53 +00:00
parent 11498dee00
commit 3eaf14fed6
1 changed files with 3 additions and 3 deletions

View File

@ -1,4 +1,4 @@
/* $NetBSD: cache.c,v 1.2 2019/01/22 00:36:02 alnsn Exp $ */
/* $NetBSD: cache.c,v 1.3 2019/01/22 01:25:53 alnsn Exp $ */
/*-
* Copyright (c) 2014 Alexander Nasonov.
@ -27,7 +27,7 @@
*/
#include <sys/cdefs.h>
__KERNEL_RCSID(0, "$NetBSD: cache.c,v 1.2 2019/01/22 00:36:02 alnsn Exp $");
__KERNEL_RCSID(0, "$NetBSD: cache.c,v 1.3 2019/01/22 01:25:53 alnsn Exp $");
/*
* Barebone implementation of mips cache routines for rump.
@ -48,5 +48,5 @@ static void
icache_sync_range(register_t va, vsize_t sz)
{
(void)rumpcomp_sync_icache((void *)va, (uint64_t)sz);
(void)rumpcomp_sync_icache((void *)(uintptr_t)va, (uint64_t)sz);
}