16 

    16 

    17 #ifndef VIRTUALVIDEOHWINTERFACE_H

    17 #ifndef VIRTUALVIDEOHWINTERFACE_H

    18 #define VIRTUALVIDEOHWINTERFACE_H

    18 #define VIRTUALVIDEOHWINTERFACE_H

    19 

    19 

    20 #include <kernel/kernel.h>

    20 #include <kernel/kernel.h>

    22 #include <graphics/guestvideodriverinterfaceconstants.h>

    21 #include <graphics/guestvideodriverinterfaceconstants.h>

    23 

    22 

    24 /**

    23 /**

    25  * Class that encapsulates the Virtual Video Hw interface behind a function

    24  * Class that encapsulates the Virtual Video Hw interface behind a function

    26  * interface. Intended to be instantiated only once in the device driver.

    25  * interface. Intended to be instantiated only once in the device driver.