// Copyright 2018 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 <stdint.h>

#include <zircon/compiler.h>
#include <zircon/features.h>
#include <zircon/syscalls.h>

#include "private.h"

zx_status_t _zx_system_get_features(uint32_t kind, uint32_t* features) {
    switch (kind) {
    case ZX_FEATURE_KIND_CPU: {
        uint32_t cpu_features = DATA_CONSTANTS.features.cpu;
        if (!(cpu_features & ZX_HAS_CPU_FEATURES)) {
            return ZX_ERR_NOT_SUPPORTED;
        }

        *features = cpu_features;
        return ZX_OK;
    }
    case ZX_FEATURE_KIND_HW_BREAKPOINT_COUNT: {
        *features = DATA_CONSTANTS.features.hw_breakpoint_count;
        return ZX_OK;
    }
    case ZX_FEATURE_KIND_HW_WATCHPOINT_COUNT: {
        *features = DATA_CONSTANTS.features.hw_watchpoint_count;
        return ZX_OK;
    }
    default:
        return ZX_ERR_NOT_SUPPORTED;
    }
}

VDSO_INTERFACE_FUNCTION(zx_system_get_features);