- o -

• offset : arch_timer_context
• Op0 : sys_reg_desc , sys_reg_params
• Op1 : sys_reg_desc , sys_reg_params
• Op2 : sys_reg_desc , sys_reg_params
• ops : kvm_io_device , vgic_irq
• order : hyp_page
• owner : hyp_spinlock , vgic_irq
• owner_id : stage2_map_data