/*
 * Copyright (c) 2025 Arm Ltd
 *
 * SPDX-License-Identifier: BSD-2-Clause
 */

#ifndef _BHYVE_MACHDEP_H_
#define _BHYVE_MACHDEP_H_

extern uint64_t *cpu_to_mpidr;
extern cpuset_t running_cpumask;

#endif /* _BHYVE_MACHDEP_H_ */