test_cmd_hwpt_check_iotlb_all
test_cmd_hwpt_check_iotlb_all(nested_hwpt_id[0],
test_cmd_hwpt_check_iotlb_all(nested_hwpt_id[1],
test_cmd_hwpt_check_iotlb_all(nested_hwpt_id[0], 0);
test_cmd_hwpt_check_iotlb_all(nested_hwpt_id[1], 0);