20#ifndef KERNEL_MACHINE_HOSTED_PC_H
21#define KERNEL_MACHINE_HOSTED_PC_H
22#include "pedigree/kernel/machine/Machine.h"
26#include "IrqManager.h"
28#include "SchedulerTimer.h"
HostedMachine() INITIALISATION_ONLY
virtual void setKeyboard(Keyboard *kb)
virtual void initialiseDeviceTree()
virtual void initialise3()
Called after processor startup - for thread creation etc.
MUST_USE_RESULT bool quiesceAllOtherProcessors() override
virtual size_t getNumSerial()
MUST_USE_RESULT bool resumeAllOtherProcessors() override
virtual Keyboard * getKeyboard()
virtual Timer * getTimer()
MUST_USE_RESULT bool stopAllOtherProcessors() override
virtual void deinitialise()
virtual Vga * getVga(size_t n)
virtual Serial * getSerial(size_t n)
virtual size_t getNumVga()
virtual SchedulerTimer * getSchedulerTimer()
virtual void initialise() INITIALISATION_ONLY
#define INITIALISATION_ONLY