1 /*
2  * Copyright 2020 The Hafnium Authors.
3  *
4  * Use of this source code is governed by a BSD-style
5  * license that can be found in the LICENSE file or at
6  * https://opensource.org/licenses/BSD-3-Clause.
7  */
8 
9 #include "vmapi/hf/call.h"
10 
11 #include "test/hftest.h"
12 
13 /**
14  * Confirms the primary VM has the primary ID.
15  */
TEST(hf_vm_get_id,primary_has_primary_id)16 TEST(hf_vm_get_id, primary_has_primary_id)
17 {
18 	EXPECT_EQ(hf_vm_get_id(), HF_PRIMARY_VM_ID);
19 }
20