pub fn call_secure_monitor(input: Input) -> Output