*
* @page test-$NAME TODO
*
- * @sa tests/$NAME/main.c
+ * @see tests/$NAME/main.c
*/
#include <xtf.h>
* Prints all CPUID information visible to the guest. PV guests dump both
* native and emulated CPUID.
*
- * @sa tests/cpuid/main.c
+ * @see tests/cpuid/main.c
*/
#include <xtf.h>
*
* A Hello World XTF testcase.
*
- * @sa tests/example/main.c
+ * @see tests/example/main.c
*/
#include <xtf.h>
*
* Returns SUCCESS if FEP is available, FAILURE if not.
*
- * @sa tests/fep/main.c
+ * @see tests/fep/main.c
*/
#include <xtf.h>
* @todo Come up with some sensible way of running this test in both shadow
* and hap mode.
*
- * @sa tests/invlpg/main.c
+ * @see tests/invlpg/main.c
*/
#include <xtf.h>
* @warning As this probes all MSR indicies, it can cause substantial logspam
* in Xen from extable fixup, depending on log level.
*
- * @sa tests/msr/main.c
+ * @see tests/msr/main.c
*/
#include <xtf.h>
* kernel to have an cpl of 0, and the shadowed IOPL will be updated from
* the contents of iret frame during an iret hypercall.
*
- * @sa tests/pv-iopl/main.c
+ * @see tests/pv-iopl/main.c
*/
#include <xtf.h>
* Sanity tests for the framework environment and functionality. Failure of
* these tests tend to suggest bugs with the framework itself.
*
- * @sa tests/selftest/main.c
+ * @see tests/selftest/main.c
*/
#include <xtf.h>
*
* In all cases, the exception frame is verified to be correct.
*
- * @sa tests/swint-emulation/main.c
+ * @see tests/swint-emulation/main.c
*/
#include <xtf.h>
* success if it is the first vcpu to run on a "fresh" pcpu after host reboot.
* For added reliability, pin the PoC to a specific pcpu and run it twice.
*
- * @sa tests/xsa-122/main.c
+ * @see tests/xsa-122/main.c
*/
#include <xtf.h>
* the x86 instruction emulator. If the destination register doesn't match
* the source register, hypervisor memory corruption has occurred.
*
- * @sa tests/xsa-123/main.c
+ * @see tests/xsa-123/main.c
*/
#include <xtf.h>
* host crash. If Xen is not vulnerable, the hypercall should fail with
* -EINVAL.
*
- * @sa tests/xsa-167/main.c
+ * @see tests/xsa-167/main.c
*/
#include <xtf.h>
* with a @#GP fault. If not, the test will exit cleanly. The test is unable
* to distinguish between a fixed Xen and a test misconfiguration.
*
- * @sa tests/xsa-168/main.c
+ * @see tests/xsa-168/main.c
*/
#include <xtf.h>
* shadow paging implementation, but can identify a buggy shadow paging
* implementation.
*
- * @sa tests/xsa-173/main.c
+ * @see tests/xsa-173/main.c
*/
#include <xtf.h>