its_device Struct Reference

Public Attributes
struct list_head	dev_list
struct list_head	itt_head
u32	num_eventid_bits
gpa_t	itt_addr
u32	device_id

Detailed Description

Definition at line 118 of file vgic-its.c.

Member Data Documentation

dev_list

struct list_head its_device::dev_list

Definition at line 2914 of file vgic-its.c.

device_id

u32 its_device::device_id

Definition at line 125 of file vgic-its.c.

itt_addr

gpa_t its_device::itt_addr

Definition at line 124 of file vgic-its.c.

itt_head

struct list_head its_device::itt_head

Definition at line 2914 of file vgic-its.c.

num_eventid_bits

u32 its_device::num_eventid_bits

Definition at line 123 of file vgic-its.c.

---

The documentation for this struct was generated from the following file:

• arch/arm64/kvm/vgic/vgic-its.c