Implement new kernel mode VMM API