Searched defs:dte_esz (Results 1 – 1 of 1) sorted by relevance
172 int dte_esz; member2090 gpa_t ptr, int dte_esz) in vgic_its_save_dte()2178 int dte_esz = abi->dte_esz; in vgic_its_save_device_tables() local2222 int dte_esz = abi->dte_esz; in handle_l1_dte() local