There seems to be a copy paste error with the CGetHigh instruction. In logging it is shown as a cgetaddr. The cause seems to be this: https://github.com/CTSRD-CHERI/qemu/blob/967e7a86d8d7d1b0a730640354269afebaa0c3ed/disas/riscv.c#L1237