x86_machine.hpp

#if !defined(__X86_MACHINE_HPP__)
#define __X86_MACHINE_HPP__

//
// local includes
//
#include "core/machine/arch/x86/i440fx/i440fx_host_bridge.hpp"
#include "core/machine/machine_base.hpp"

struct x86_machine : public machine_base
{
  protected:
    static const struct initial_ioport_state
    {
        l4_port_t from, to;                 // start & end (inclusive)
        ioport_flags flags;                 // initial flags
    } initial_iospace_state[];

    static const struct initial_irq_state
    {
        l4_irq_t irq;                       // IRQ number
        irq_flags flags;                    // initial flags
    } initial_irq_states[];

    i440fx_host_bridge host_bridge;

  public:
    x86_machine(void);

    //
    // instruction emulation functions
    //
    int handle_io_page_fault(x86_context &ctx);
    int emulate_instruction(x86_context &ctx);

  protected:
    //
    // iospace_manager/irq_manager: override init functions to set initial states
    //
    virtual int init_iospace(void);
    virtual int init_irqs(void);

    //
    // machine_base: override name & get_host_bridge
    //
    virtual inline const char *name(void) const
    {
      #if defined(ARCH_x86)
        return "x86 machine";
      #elif defined(ARCH_amd64)
        return "AMD64 machine";
      #endif
    }

    virtual inline pci_bridge &get_host_bridge(void)
    {
        return host_bridge;
    }
};

//
// implemented here to get inlined in l4vmm_handle_exception
//
#if L4VMM_BUILD_ENABLE_UDIS86
    #include "core/machine/arch/x86/io_page_fault_udis86.hpp"
#else
    #include "core/machine/arch/x86/io_page_fault.hpp"
#endif

inline int x86_machine::emulate_instruction(x86_context &ctx)
{
    if (likely(ctx.is_io_page_fault()))
        return handle_io_page_fault(ctx);

    if (config.is(L4VMM_INVALID_INSTRUCTION_WARNING))
        log::error("cannot handle instruction at "l4_gva_fmt":\n"
                   "  trapno: "l4_umword_fmt" err: "l4_umword_fmt"\n"
                   "  eflags: "l4_umword_fmt" pfa: "l4_umword_fmt"\n"
                   "     eax: "l4_umword_fmt" ebx: "l4_umword_fmt"\n"
                   "     ecx: "l4_umword_fmt" edx: "l4_umword_fmt"\n"
                   "     esi: "l4_umword_fmt" edi: "l4_umword_fmt"\n"
                   "     ebp: "l4_umword_fmt" esp: "l4_umword_fmt"\n"
                 #if defined(ARCH_amd64)
                   "      r8: "l4_umword_fmt"  r9: "l4_umword_fmt"\n"
                   "     r10: "l4_umword_fmt" r11: "l4_umword_fmt"\n"
                   "     r12: "l4_umword_fmt" r13: "l4_umword_fmt"\n"
                   "     r14: "l4_umword_fmt" r15: "l4_umword_fmt"\n"
                 #endif
                   ,
                   ctx.eip(),
                   ctx.trapno(), ctx.err(), ctx.eflags(), ctx.pfa(),
                   ctx.eax(), ctx.ebx(), ctx.ecx(), ctx.edx(),
                   ctx.esi(), ctx.edi(), ctx.ebp(), ctx.esp()
                 #if defined(ARCH_amd64)
                   ,
                   ctx.r8(),  ctx.r9(),  ctx.r10(), ctx.r11(),
                   ctx.r12(), ctx.r13(), ctx.r14(), ctx.r15()
                 #endif
                  );

    return -L4_ENOTSUPP;
}

#endif

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