asterinas/framework/libs/tdx-guest/src/asm/mod.rs

12 lines
336 B
Rust

use crate::{tdcall::TdcallArgs, tdvmcall::TdVmcallArgs};
use core::arch::global_asm;
global_asm!(include_str!("tdcall.asm"));
global_asm!(include_str!("tdvmcall.asm"));
// TODO: Use sysv64
extern "win64" {
pub(crate) fn asm_td_call(args: *mut TdcallArgs) -> u64;
pub(crate) fn asm_td_vmcall(args: *mut TdVmcallArgs) -> u64;
}