1/*
2 * Copyright (c) 2012 ARM Limited
3 * All rights reserved
4 *
5 * The license below extends only to copyright in the software and shall
6 * not be construed as granting a license to any other intellectual
7 * property including but not limited to intellectual property relating
8 * to a hardware implementation of the functionality of the software

--- 405 unchanged lines hidden (view full) ---

414
415 /**
416 * Update a thread context if the KVM state is dirty with respect
417 * to the cached thread context.
418 */
419 void syncThreadContext();
420
421 /**
422 * Update the KVM if the thread context is dirty.
423 */
424 void syncKvmState();
425 /** @} */
426
427 /** @{ */
428 /**
429 * Main kvmRun exit handler, calls the relevant handleKvmExit*

--- 363 unchanged lines hidden ---