Invoking int 0x10 from a service

Hello everybody,

I'm currently planning to write a VESA driver for our Pistachio-based
OS. Video mode setting is done by calling the BIOS interrupt 0x10,
which uses real-mode addressing, and therefore cannot be run from
protected mode. What I thought about was to use VM86 mode for that
call, but it looks like there is no way to do that with Pistachio.
Have I missed something? Do you know a way to workaround this without
modifying Pistachio?

Thanks,
Alex.