- r -

• r0 : psci_boot_args
• range_end : hyp_pool
• range_start : hyp_pool
• rd_iodev : vgic_cpu
• rd_regions : vgic_dist
• rdreg : vgic_cpu
• rdreg_index : vgic_cpu
• read : kvm_io_device_ops , vgic_register_region
• ready : vgic_dist
• redist_vcpu : vgic_io_device
• refcount : hyp_page , vgic_irq
• reg : sys_reg_desc
• reg_offset : vgic_register_region
• regions : vgic_io_device
• regval : sys_reg_params
• reset : sys_reg_desc
• restore_tables : vgic_its_abi
• rx : kvm_ffa_buffers