1#include "hv/sysreg.h"
2
3#include <assert.h>
4
5int main(void)
6{
7 uint64_t key = sysreg_key_make(3u, 0u, 1u, 0u, 0u);
8 assert(key == SYSREG_KEY_CONST(3u, 0u, 1u, 0u, 0u));
9 assert(sysreg_key_make(7u, 8u, 16u, 16u, 8u) ==
10 SYSREG_KEY_CONST(3u, 0u, 0u, 0u, 0u));
11 return 0;
12}