• cgt_group_id : emulate-nested.c
• fg_filter_id : emulate-nested.c
• fgt_group_id : emulate-nested.c
• iodev_type : arm_vgic.h
• kvm_arch_timer_regs : arm_arch_timer.h
• kvm_arch_timers : arm_arch_timer.h
• pkvm_component_id : mem_protect.h
• pkvm_page_state : mem_protect.h
• trap_behaviour : emulate-nested.c
• vgic_irq_config : arm_vgic.h
• vgic_type : arm_vgic.h