drivers/virt/coco/tsm.o