diff options
| author | Arthur Hanson Rasmusson <arthur@vgpu.io> | 2026-09-30 06:55:49 -0400 |
|---|---|---|
| committer | Arthur Hanson Rasmusson <arthur@vgpu.io> | 2026-09-30 06:55:49 -0400 |
| commit | 94d97920237215df53a2db4918d5cf71df3411db (patch) | |
| tree | 671e893e227fd92cfe04116d8d9d24178e4f2c93 /kernel/irq.c | |
| parent | ff9980c509183f206a491cadfdd42335aee031a7 (diff) | |
| download | open-iov-94d97920237215df53a2db4918d5cf71df3411db.tar.gz open-iov-94d97920237215df53a2db4918d5cf71df3411db.zip | |
sema-svc: decode GMMU PDE/PTE addresses with the real encoding (addr>>12 in bits 32:8/53:8)
The mask-and-keep decode dropped the left shift by 12, so every page-table
child pointer and leaf resolved 16x too low and no GMMU walk ever produced a
translation (walks_ok=0 on every boot). Verified against live page tables:
directory entry 0x2020a -> table 0x202000, leaf 0x0600000000760001 (aperture
VID, KIND=6) -> PA 0x7600000.
Diffstat (limited to 'kernel/irq.c')
0 files changed, 0 insertions, 0 deletions