Reducing world switches in virtualized environment with flexible cross-world calls
Terra: a virtual machine-based platform for trusted computing