Searched defs:dte_esz (Results 1 – 1 of 1) sorted by relevance
169 int dte_esz; member1218 int dte_esz = vgic_its_get_abi(its)->dte_esz; in vgic_its_cmd_handle_mapd() local2364 gpa_t ptr, int dte_esz) in vgic_its_save_dte()2456 int dte_esz = abi->dte_esz; in vgic_its_save_device_tables() local2500 int dte_esz = abi->dte_esz; in handle_l1_dte() local