vmmplatsupport, vpci: Fix unaligned writes

Data of unaligned configuration space writes were masked out because of incorrect mask. Signed-off-by: Markku Ahvenjärvi <[email protected]>
seL4 · Feb 23, 2024 · d050fb3 · d050fb3
1 parent 4662171
commit d050fb3
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/libsel4vmmplatsupport/src/arch/arm/devices/vpci.c b/libsel4vmmplatsupport/src/arch/arm/devices/vpci.c
@@ -91,7 +91,8 @@ static void pci_cfg_write_fault(vm_vcpu_t *vcpu, uint8_t offset, size_t len, vmm
     uint32_t value;
     int err;
 
-    mask = get_vcpu_fault_data_mask(vcpu);
+    seL4_Word s = (get_vcpu_fault_address(vcpu) & 0x3) * 8;
+    mask = get_vcpu_fault_data_mask(vcpu) >> s;
     value = get_vcpu_fault_data(vcpu) & mask;
 
     err = dev->iowrite((void *)dev->cookie, offset, len, value);