Searched refs:itte (Results 1 – 1 of 1) sorted by relevance
850 __le64 *itte; in gicv5_its_map_event() local852 itte = gicv5_its_device_get_itte_ref(its_dev, event_id); in gicv5_its_map_event()854 if (FIELD_GET(GICV5_ITTL2E_VALID, le64_to_cpu(*itte))) in gicv5_its_map_event()860 its_write_table_entry(its, itte, itt_entry); in gicv5_its_map_event()871 __le64 *itte; in gicv5_its_unmap_event() local873 itte = gicv5_its_device_get_itte_ref(its_dev, event_id); in gicv5_its_unmap_event()875 itte_val = le64_to_cpu(*itte); in gicv5_its_unmap_event()878 its_write_table_entry(its, itte, itte_val); in gicv5_its_unmap_event()