2 * Copyright (c) 2012 The Chromium OS Authors. All rights reserved.
3 * Use of this source code is governed by a BSD-style license that can be
4 * found in the LICENSE file.
6 * Alternatively, this software may be distributed under the terms of the
7 * GNU General Public License ("GPL") version 2 as published by the Free
14 static phys_addr_t __arch_phys_memset(phys_addr_t s, int c, phys_size_t n)
16 void *s_ptr = (void *)(uintptr_t)s;
18 assert(((phys_addr_t)(uintptr_t)s) == s);
19 assert(((phys_addr_t)(uintptr_t)(s + n)) == s + n);
20 return (phys_addr_t)(uintptr_t)memset(s_ptr, c, n);
23 phys_addr_t arch_phys_memset(phys_addr_t s, int c, phys_size_t n)
24 __attribute__((weak, alias("__arch_phys_memset")));