blob: 1b7ffb01a8b7bb3ce256ba42d1f55490682b43c3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
|
/*
* This file and its contents are supplied under the terms of the
* Common Development and Distribution License ("CDDL"), version 1.0.
* You may only use this file in accordance with the terms of version
* 1.0 of the CDDL.
*
* A full copy of the text of the CDDL should have accompanied this
* source. A copy of the CDDL is also available via the Internet at
* http://www.illumos.org/license/CDDL.
*/
/*
* Copyright 2022 Oxide Computer Company
*/
#include <stdio.h>
#include <unistd.h>
#include <stdlib.h>
#include <fcntl.h>
#include <libgen.h>
#include <sys/vmm.h>
#include <sys/vmm_dev.h>
int
main(int argc, char *argv[])
{
const char *suite_name = basename(argv[0]);
int ctl_fd = open(VMM_CTL_DEV, O_EXCL | O_RDWR);
if (ctl_fd < 0) {
perror("could not open vmmctl device");
return (EXIT_FAILURE);
}
int res = ioctl(ctl_fd, VMM_CHECK_IOMMU, 0);
if (res < 0) {
perror("VMM_CHECK_IOMMU ioctl failed");
return (EXIT_FAILURE);
}
(void) close(ctl_fd);
(void) printf("%s\tPASS\n", suite_name);
return (0);
}
|
