blob: 0dfb7484b540899c7ba6a3a39801548942dd995a [file] [log] [blame] [edit]
// Copyright 2016 The Fuchsia Authors. All rights reserved.
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.
#include <zircon/compiler.h>
#include <zircon/syscalls.h>
#include "private.h"
__EXPORT uint32_t _zx_system_get_num_cpus(void) { return DATA_CONSTANTS.max_num_cpus; }
VDSO_INTERFACE_FUNCTION(zx_system_get_num_cpus);