P: /usr/lib/modules/5.14.0-687.24.1.el9_8.x86_64/kernel/drivers/virt/coco/tdx-guest

[ .. ]