drivers/virt/coco/arm-cca-guest/arm-cca-guest.c

File Facts

System

Linux kernel

Corpus path

drivers/virt/coco/arm-cca-guest/arm-cca-guest.c

Extension

.c

Size

6606 bytes

Lines

234

Domain

Driver Families

Bucket

drivers/virt

Inferred role

Driver Families: exported/initcall integration point

Status

integration implementation candidate

Why This File Exists

Repeatable hardware-adapter layer. Deep compatibility for every driver is out of scope; this atlas records patterns, probe lifecycles, bus glue, IRQ/DMA usage, and links back to core abstractions.

• Repeatable hardware-adapter layer. Deep compatibility for every driver is out of scope; this atlas records patterns, probe lifecycles, bus glue, IRQ/DMA usage, and links back to core abstractions.
• Exports symbols or registers init work; inspect boot/module ordering and who consumes the exported contract.
• Allocates kernel memory; connect allocation flags and lifetime to context constraints.
• Defines or uses C structs; map object ownership, embedded links, reference counts, and lock ownership.

Dependency Surface

• linux/arm-smccc.h
• linux/cc_platform.h
• linux/kernel.h
• linux/mod_devicetable.h
• linux/module.h
• linux/smp.h
• linux/tsm.h
• linux/types.h
• asm/rsi.h

Detected Declarations

• struct arm_cca_token_info
• function arm_cca_attestation_init
• function arm_cca_attestation_continue
• function smp_call_function_single
• function arm_cca_guest_init
• function arm_cca_guest_exit
• module init arm_cca_guest_init

Annotated Snippet

module_init(arm_cca_guest_init);

/**
 * arm_cca_guest_exit - unregister with the Trusted Security Module (TSM)
 * interface.
 */
static void __exit arm_cca_guest_exit(void)
{
	tsm_report_unregister(&arm_cca_tsm_ops);
}
module_exit(arm_cca_guest_exit);

/* modalias, so userspace can autoload this module when RSI is available */
static const struct platform_device_id arm_cca_match[] __maybe_unused = {
	{ RSI_PDEV_NAME, 0},
	{ }
};

MODULE_DEVICE_TABLE(platform, arm_cca_match);
MODULE_AUTHOR("Sami Mujawar <sami.mujawar@arm.com>");
MODULE_DESCRIPTION("Arm CCA Guest TSM Driver");
MODULE_LICENSE("GPL");

Annotation

• Immediate include surface: `linux/arm-smccc.h`, `linux/cc_platform.h`, `linux/kernel.h`, `linux/mod_devicetable.h`, `linux/module.h`, `linux/smp.h`, `linux/tsm.h`, `linux/types.h`.
• Detected declarations: `struct arm_cca_token_info`, `function arm_cca_attestation_init`, `function arm_cca_attestation_continue`, `function smp_call_function_single`, `function arm_cca_guest_init`, `function arm_cca_guest_exit`, `module init arm_cca_guest_init`.
• Atlas domain: Driver Families / drivers/virt.
• Implementation status: integration implementation candidate.

Implementation Notes

• This generated page is the file-by-file coverage layer; curated subsystem chapters should link here when they synthesize a multi-file control flow.
• Core OS pages should be promoted from atlas-only to deep-reviewed when they explain data structures, invariants, locking, lifecycle, and C implementation snippets.
• Driver-family pages are intentionally pattern-oriented unless they are part of the selected PCIe/NVMe representative device path.