This commit is contained in:
Berkus Decker 2020-11-24 16:12:48 +02:00
parent e6580a5465
commit fe2cf95d4e
1 changed files with 1 additions and 1 deletions

View File

@ -324,7 +324,7 @@ trait DomainSet {
// Virtualisation
// ARM
trait VCPU {
fn inject_i_r_q(virq: u16, priority: u8, group: u8, index: u8) -> Result<()>;
fn inject_irq(virq: u16, priority: u8, group: u8, index: u8) -> Result<()>;
fn read_registers();
fn write_registers();
fn set_tcb();