machine_config.hpp

#if !defined(__MACHINE_CONFIG_HPP__)
#define __MACHINE_CONFIG_HPP__

//
// local includes
//
#include "core/common.hpp"

struct machine_config : public l4vmm_config, public bitmask<unsigned>
{
    l4_threadid_t client;

    machine_config(const l4_threadid_t client=L4_INVALID_ID);

    machine_config &update(const l4vmm_config &config);

    machine_config &update(const machine_config &config);

    //
    // debug stuff
    //
    static inline const char *mode2string(const enum l4vmm_emulation_modes mode)
    {
        return (mode == L4VMM_MODE_DEFAULT) ? "default" :
                   (mode == L4VMM_MODE_X86_REAL) ? "x86 real mode" :
                       (mode == L4VMM_MODE_X86_PROTECTED16) ? "x86 16-bit protected mode" :
                           (mode == L4VMM_MODE_X86_PROTECTED32) ? "x86 32-bit protected mode" :
                               (mode == L4VMM_MODE_X86_PROTECTED64) ? "x86 64-bit protected mode" :
                                   "unknown";
    }

    inline const char *mode2string(void) const
    {
        return mode2string(mode);
    }

    void print(const char *header=nullptr) const;

    void print_client(const char *header=nullptr) const;
};

#endif

// ***** end of source ***** //