its_clear_vpend_valid
val = its_clear_vpend_valid(vlpi_base, 0, 0);
val = its_clear_vpend_valid(vlpi_base,