#include <stdint.h> | |
#include "vmapi/hf/call.h" | |
#include "../hf_test.h" | |
uint8_t kstack[4096] __attribute__((aligned(4096))); | |
TEST(vm_get_count) | |
{ | |
EXPECT_EQ(hf_vm_get_count(), 0); | |
} | |
TEST(vcpu_get_count_when_no_secondary_vm) | |
{ | |
EXPECT_EQ(hf_vcpu_get_count(0), -1); | |
} | |
TEST(vcpu_get_count_for_large_invalid_vm_index) | |
{ | |
EXPECT_EQ(hf_vcpu_get_count(0xffffffff), -1); | |
} | |
void kmain(void) | |
{ | |
RUN_TEST(vm_get_count); | |
RUN_TEST(vcpu_get_count_when_no_secondary_vm); | |
RUN_TEST(vcpu_get_count_for_large_invalid_vm_index); | |
} |