enum {
        KVM_REG_ARM_STD_BIT_TRNG_V1_0   = 0,
+#ifdef __KERNEL__
        KVM_REG_ARM_STD_BMAP_BIT_COUNT,
+#endif
 };
 
 #define KVM_REG_ARM_STD_HYP_BMAP               KVM_REG_ARM_FW_FEAT_BMAP_REG(1)
 
 enum {
        KVM_REG_ARM_STD_HYP_BIT_PV_TIME = 0,
+#ifdef __KERNEL__
        KVM_REG_ARM_STD_HYP_BMAP_BIT_COUNT,
+#endif
 };
 
 #define KVM_REG_ARM_VENDOR_HYP_BMAP            KVM_REG_ARM_FW_FEAT_BMAP_REG(2)
 enum {
        KVM_REG_ARM_VENDOR_HYP_BIT_FUNC_FEAT    = 0,
        KVM_REG_ARM_VENDOR_HYP_BIT_PTP          = 1,
+#ifdef __KERNEL__
        KVM_REG_ARM_VENDOR_HYP_BMAP_BIT_COUNT,
+#endif
 };
 
 /* Device Control API: ARM VGIC */