Searched defs:dte_esz (Results 1 – 2 of 2) sorted by relevance
169 int dte_esz; member2271 gpa_t ptr, int dte_esz) in vgic_its_save_dte()2359 int dte_esz = abi->dte_esz; in vgic_its_save_device_tables() local2403 int dte_esz = abi->dte_esz; in handle_l1_dte() local
169 int dte_esz; member2358 gpa_t ptr, int dte_esz) in vgic_its_save_dte()2450 int dte_esz = abi->dte_esz; in vgic_its_save_device_tables() local2494 int dte_esz = abi->dte_esz; in handle_l1_dte() local