equal
deleted
inserted
replaced
9 // Nokia Corporation - initial contribution. |
9 // Nokia Corporation - initial contribution. |
10 // |
10 // |
11 // Contributors: |
11 // Contributors: |
12 // |
12 // |
13 // Description: |
13 // Description: |
14 // Platsim video driver - request handler extension (a.k.a. Command Scheduler extension) |
14 // Guest video driver - request handler extension (a.k.a. Command Scheduler extension) |
15 // |
15 // |
16 |
16 |
17 #include <kernel/kern_priv.h> |
17 #include <kernel/kern_priv.h> |
18 #include <kernel.h> |
18 #include <kernel.h> |
19 #include <graphics/reqhandlerextension.h> |
19 #include <graphics/reqhandlerextension.h> |