Searched refs:its_make_vpe_non_resident (Results 1 – 3 of 3) sorted by relevance
134 int its_make_vpe_non_resident(struct its_vpe *vpe, bool db);
233 int its_make_vpe_non_resident(struct its_vpe *vpe, bool db) in its_make_vpe_non_resident() function
346 return its_make_vpe_non_resident(vpe, !!vcpu_get_flag(vcpu, IN_WFI)); in vgic_v4_put()