From e82644027ca0729870f7e55ff4e76ed1a339fc79 Mon Sep 17 00:00:00 2001 From: Steven Bellock Date: Tue, 17 Dec 2024 16:22:45 -0800 Subject: [PATCH] Convert unsigned long to uint32_t Fix #91. Signed-off-by: Steven Bellock --- src/sbi_cove.adoc | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/sbi_cove.adoc b/src/sbi_cove.adoc index 2c33bf6..1f6f3b0 100644 --- a/src/sbi_cove.adoc +++ b/src/sbi_cove.adoc @@ -802,7 +802,7 @@ struct tsm_info { * `COVE_TSM_CAP_*` constants. Presence of bit `i` indicates that both the TSM * and hardware support the corresponding capability. */ - unsigned long tsm_capabilities; + uint32_t tsm_capabilities; /* * The number of 4KB pages which must be donated to the TSM for storing TVM * state in sbi_covh_create_tvm_vcpu(). `0` if the TSM does not support the @@ -812,7 +812,7 @@ struct tsm_info { /* * The maximum number of vCPUs a TVM can support. */ - unsigned long tvm_max_vcpus; + uint32_t tvm_max_vcpus; /* * The number of 4KB pages which must be donated to the TSM when creating * a new vCPU. `0` if the TSM does not support the dynamic memory allocation