diff --git a/src/sbi_cove.adoc b/src/sbi_cove.adoc
index 61292f2..5ef3f44 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;
+    uint64_t tsm_capabilities;
     /*
      * The number of 4 KiB 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;
+    uint64_t tvm_max_vcpus;
     /*
      * The number of 4 KiB pages which must be donated to the TSM when creating
      * a new vCPU. `0` if the TSM does not support the dynamic memory allocation