mirror of https://github.com/gnss-sdr/gnss-sdr
46 lines
1.1 KiB
C++
46 lines
1.1 KiB
C++
// SPDX-FileCopyrightText: 2017 Google LLC
|
|
// SPDX-License-Identifier: Apache-2.0
|
|
|
|
#include "hwcaps_for_testing.h"
|
|
#include "internal/string_view.h"
|
|
#include <string.h>
|
|
|
|
namespace cpu_features
|
|
{
|
|
namespace
|
|
{
|
|
static auto* const g_hardware_capabilities = new HardwareCapabilities();
|
|
static const char* g_platform_pointer = nullptr;
|
|
static const char* g_base_platform_pointer = nullptr;
|
|
} // namespace
|
|
|
|
void SetHardwareCapabilities(uint32_t hwcaps, uint32_t hwcaps2)
|
|
{
|
|
g_hardware_capabilities->hwcaps = hwcaps;
|
|
g_hardware_capabilities->hwcaps2 = hwcaps2;
|
|
}
|
|
void SetPlatformPointer(const char* string) { g_platform_pointer = string; }
|
|
void SetBasePlatformPointer(const char* string)
|
|
{
|
|
g_base_platform_pointer = string;
|
|
}
|
|
|
|
void ResetHwcaps()
|
|
{
|
|
SetHardwareCapabilities(0, 0);
|
|
SetPlatformPointer(nullptr);
|
|
SetBasePlatformPointer(nullptr);
|
|
}
|
|
|
|
HardwareCapabilities CpuFeatures_GetHardwareCapabilities(void)
|
|
{
|
|
return *g_hardware_capabilities;
|
|
}
|
|
const char* CpuFeatures_GetPlatformPointer(void) { return g_platform_pointer; }
|
|
const char* CpuFeatures_GetBasePlatformPointer(void)
|
|
{
|
|
return g_base_platform_pointer;
|
|
}
|
|
|
|
} // namespace cpu_features
|