/**
 * \file
 * \brief Architecture specific CPU bits.
 */

/*
 * Copyright (c) 2007-2010, 2012, ETH Zurich.
 * Copyright (c) 2015, Hewlett Packard Enterprise Development LP.
 * All rights reserved.
 *
 * This file is distributed under the terms in the attached LICENSE file.
 * If you do not find this file, copies can be found by writing to:
 * ETH Zurich D-INFK, CAB F.78, Universitaetstrasse 6, CH-8092 Zurich,
 * Attn: Systems Group.
 */

#ifndef BARRELFISH_KPI_CPU_H
#define BARRELFISH_KPI_CPU_H

#ifndef __ASSEMBLER__

#include <sys/cdefs.h>

__BEGIN_DECLS

enum cpu_type {
    CPU_K1OM,
    CPU_X86_64,
    CPU_X86_32,
    CPU_ARM7,
    CPU_ARM8,
    CPU_TYPE_NUM // must be last
};

#include <string.h>
#include <barrelfish/static_assert.h>

static inline const char *cpu_type_to_archstr(enum cpu_type cpu_type)
{
    STATIC_ASSERT(CPU_TYPE_NUM == 5, "knowledge of all CPU types here");
    switch(cpu_type) {
    case CPU_K1OM:      return "k1om";
    case CPU_X86_64:    return "x86_64";
    case CPU_X86_32:    return "x86_32";
    case CPU_ARM7:      return "armv7";
    case CPU_ARM8:      return "armv8";
    default:            return "(unknown)";
    }
}

static inline const enum cpu_type archstr_to_cputype(char* archstr)
{
    STATIC_ASSERT(CPU_TYPE_NUM == 5, "knowledge of all CPU types here");

    if(strcmp("k1om", archstr) == 0) return CPU_K1OM;
    if(strcmp("x86_64", archstr) == 0) return CPU_X86_64;
    if(strcmp("x86_32", archstr) == 0) return CPU_X86_32;
    if(strcmp("armv7", archstr) == 0) return CPU_ARM7;
    if(strcmp("armv8", archstr) == 0) return CPU_ARM8;
    return CPU_TYPE_NUM;
}

__END_DECLS

#endif

// XXX: Code that needs these includes should includes should include it directly
#include <barrelfish_kpi/generic_arch.h>

#endif // BARRELFISH_KPI_CPU_H