Commit e354df86 authored by gdritter's avatar gdritter

Change slotref depth to u8

parent f816d0d0
Pipeline #466 failed with stage
in 0 seconds
......@@ -210,7 +210,7 @@ impl ::irq::IRQControl {
self.to_cap(),
slotref.root.to_cap(),
slotref.cptr,
slotref.depth as seL4_Word,
slotref.depth as u8,
pci_bus,
pci_dev,
pci_func,
......@@ -238,7 +238,7 @@ impl ::irq::IRQControl {
self.to_cap(),
slotref.root.to_cap(),
slotref.cptr,
slotref.depth as seL4_Word,
slotref.depth as u8,
ioapic,
pin,
level_triggered as usize,
......
......@@ -249,7 +249,7 @@ impl ::irq::IRQControl {
self.to_cap(),
slotref.root.to_cap(),
slotref.cptr,
slotref.depth as seL4_Word,
slotref.depth as u8,
pci_bus,
pci_dev,
pci_func,
......@@ -277,7 +277,7 @@ impl ::irq::IRQControl {
self.to_cap(),
slotref.root.to_cap(),
slotref.cptr,
slotref.depth as seL4_Word,
slotref.depth as u8,
ioapic,
pin,
level_triggered as usize,
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment