#include "hv/sysreg.h"

#include <assert.h>

int main(void)
{
    uint64_t key = sysreg_key_make(3u, 0u, 1u, 0u, 0u);
    assert(key == SYSREG_KEY_CONST(3u, 0u, 1u, 0u, 0u));
    assert(sysreg_key_make(7u, 8u, 16u, 16u, 8u) ==
           SYSREG_KEY_CONST(3u, 0u, 0u, 0u, 0u));
    return 0;
}