- s -

• save_tables : vgic_its_abi
• sctlr : tlb_inv_context
• set_user : sys_reg_desc
• source : vgic_irq
• spis : vgic_dist
• start : kvm_mem_range , kvm_pgtable_walk_data
• syncr_busy : vgic_cpu