Adjusted to proper CoVE naming of the SBI extension

Signed-off-by: Wojciech Ozga <woz@zurich.ibm.com>

Author: wojciechozga

security-monitor/src/confidential_flow/declassify_to_confidential_vm.rs

@@ -3,7 +3,7 @@
 // SPDX-License-Identifier: Apache-2.0
 use crate::confidential_flow::handlers::mmio::{MmioLoadResponse, MmioStoreResponse};
 use crate::confidential_flow::handlers::sbi::SbiResponse;
-use crate::non_confidential_flow::handlers::cove_hypervisor_extension::RunConfidentialHart;
+use crate::non_confidential_flow::handlers::cove_host_extension::RunConfidentialHart;
 
 /// Declassifiers that expose part of the hypervisor's state to a confidential VM's hart.
 pub enum DeclassifyToConfidentialVm {

security-monitor/src/non_confidential_flow/finite_state_machine.rs

@@ -11,7 +11,7 @@ use crate::core::architecture::TrapCause;
 use crate::core::architecture::TrapCause::*;
 use crate::core::control_data::{ConfidentialVmId, HardwareHart, HypervisorHart};
 use crate::error::Error;
-use crate::non_confidential_flow::handlers::cove_hypervisor_extension::{
+use crate::non_confidential_flow::handlers::cove_host_extension::{
     DestroyConfidentialVm, GetSecurityMonitorInfo, PromoteToConfidentialVm, RunConfidentialHart,
 };
 use crate::non_confidential_flow::handlers::nested_acceleration_extension::{NaclProbeFeature, NaclSetupSharedMemory};

security-monitor/src/non_confidential_flow/handlers/cove_hypervisor_extension/destroy_confidential_vm.rs security-monitor/src/non_confidential_flow/handlers/cove_host_extension/destroy_confidential_vm.rs

@@ -1,7 +1,7 @@
 // SPDX-FileCopyrightText: 2023 IBM Corporation
 // SPDX-FileContributor: Wojciech Ozga <woz@zurich.ibm.com>, IBM Research - Zurich
 // SPDX-License-Identifier: Apache-2.0
-pub mod cove_hypervisor_extension;
+pub mod cove_host_extension;
 pub mod nested_acceleration_extension;
 pub mod opensbi;
 pub mod supervisor_binary_interface;