GICv3 Unknown enable register encoding

Open dreamliner787-9 opened this issue 9 months ago • 1 comments

In certain Linux v6.x builds on ARM boards with a GICv3 (attached example kernel which crashes on an Avnet MaaXBoard), when the guest boots, the function vgic_dist_reg_write() in vdist.h prints an error "Unknown enable register encoding" with a target value of 0x40 and halts the vCPU.

9b59d0094253799d716bfb8bed0ddbf336441364-linux.tar.gz

Mar 03 '25 05:03 dreamliner787-9

https://github.com/torvalds/linux/commit/773c05f417fa14e1ac94776619e9c978ec001f0b GICD_CTLR_DS is BIT(6) i.e. 0x40

tbh this libvmm code seems very sus

Mar 03 '25 05:03 midnightveil