From: kernel test robot <lkp@intel.com>
To: Iouri Tarassov <iourit@linux.microsoft.com>,
kys@microsoft.com, haiyangz@microsoft.com,
sthemmin@microsoft.com, wei.liu@kernel.org,
linux-hyperv@vger.kernel.org
Cc: kbuild-all@lists.01.org, linux-kernel@vger.kernel.org,
spronovo@microsoft.com, gregkh@linuxfoundation.org
Subject: Re: [PATCH v2 01/24] drivers: hv: dxgkrnl: Driver initialization and creation of dxgadapter
Date: Sat, 5 Feb 2022 13:52:06 +0800 [thread overview]
Message-ID: <202202051359.j7N6kn2E-lkp@intel.com> (raw)
In-Reply-To: <98fe53740526526c4df85a3a3d2e13e88c95f229.1644025661.git.iourit@linux.microsoft.com>
Hi Iouri,
I love your patch! Yet something to improve:
[auto build test ERROR on linus/master]
[also build test ERROR on v5.17-rc2 next-20220204]
[If your patch is applied to the wrong git tree, kindly drop us a note.
And when submitting patch, we suggest to use '--base' as documented in
https://git-scm.com/docs/git-format-patch]
url: https://github.com/0day-ci/linux/commits/Iouri-Tarassov/Driver-for-Hyper-v-virtual-compute-device/20220205-103726
base: https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git 0457e5153e0e8420134f60921349099e907264ca
config: x86_64-randconfig-a004-20220131 (https://download.01.org/0day-ci/archive/20220205/202202051359.j7N6kn2E-lkp@intel.com/config)
compiler: gcc-9 (Debian 9.3.0-22) 9.3.0
reproduce (this is a W=1 build):
# https://github.com/0day-ci/linux/commit/7a6280c6fb18da7243d3de07abe09b4c3d1938e2
git remote add linux-review https://github.com/0day-ci/linux
git fetch --no-tags linux-review Iouri-Tarassov/Driver-for-Hyper-v-virtual-compute-device/20220205-103726
git checkout 7a6280c6fb18da7243d3de07abe09b4c3d1938e2
# save the config file to linux build tree
mkdir build_dir
make W=1 O=build_dir ARCH=x86_64 SHELL=/bin/bash
If you fix the issue, kindly add following tag as appropriate
Reported-by: kernel test robot <lkp@intel.com>
All errors (new ones prefixed by >>):
In file included from <command-line>:32:
>> ./usr/include/misc/d3dkmthk.h:25:4: error: unknown type name '__u32'
25 | __u32 instance : 6;
| ^~~~~
./usr/include/misc/d3dkmthk.h:26:4: error: unknown type name '__u32'
26 | __u32 index : 24;
| ^~~~~
./usr/include/misc/d3dkmthk.h:27:4: error: unknown type name '__u32'
27 | __u32 unique : 2;
| ^~~~~
./usr/include/misc/d3dkmthk.h:29:3: error: unknown type name '__u32'
29 | __u32 v;
| ^~~~~
./usr/include/misc/d3dkmthk.h:53:2: error: unknown type name '__u32'
53 | __u32 a;
| ^~~~~
./usr/include/misc/d3dkmthk.h:54:2: error: unknown type name '__u32'
54 | __u32 b;
| ^~~~~
./usr/include/misc/d3dkmthk.h:70:2: error: unknown type name '__u32'
70 | __u32 num_sources;
| ^~~~~
./usr/include/misc/d3dkmthk.h:71:2: error: unknown type name '__u32'
71 | __u32 present_move_regions_preferred;
| ^~~~~
./usr/include/misc/d3dkmthk.h:75:2: error: unknown type name '__u32'
75 | __u32 num_adapters;
| ^~~~~
./usr/include/misc/d3dkmthk.h:76:2: error: unknown type name '__u32'
76 | __u32 reserved;
| ^~~~~
>> ./usr/include/misc/d3dkmthk.h:77:2: error: unknown type name '__u64'
77 | __u64 *adapters;
| ^~~~~
./usr/include/misc/d3dkmthk.h:93:4: error: unknown type name '__u32'
93 | __u32 write_operation :1;
| ^~~~~
./usr/include/misc/d3dkmthk.h:94:4: error: unknown type name '__u32'
94 | __u32 do_not_retire_instance :1;
| ^~~~~
./usr/include/misc/d3dkmthk.h:95:4: error: unknown type name '__u32'
95 | __u32 offer_priority :3;
| ^~~~~
./usr/include/misc/d3dkmthk.h:96:4: error: unknown type name '__u32'
96 | __u32 reserved :27;
| ^~~~~
./usr/include/misc/d3dkmthk.h:98:3: error: unknown type name '__u32'
98 | __u32 value;
| ^~~~~
./usr/include/misc/d3dkmthk.h:103:2: error: unknown type name '__u32'
103 | __u32 allocation_index;
| ^~~~~
./usr/include/misc/d3dkmthk.h:106:4: error: unknown type name '__u32'
106 | __u32 slot_id:24;
| ^~~~~
./usr/include/misc/d3dkmthk.h:107:4: error: unknown type name '__u32'
107 | __u32 reserved:8;
| ^~~~~
./usr/include/misc/d3dkmthk.h:109:3: error: unknown type name '__u32'
109 | __u32 value;
| ^~~~~
./usr/include/misc/d3dkmthk.h:111:2: error: unknown type name '__u32'
111 | __u32 driver_id;
| ^~~~~
./usr/include/misc/d3dkmthk.h:112:2: error: unknown type name '__u32'
112 | __u32 allocation_offset;
| ^~~~~
./usr/include/misc/d3dkmthk.h:113:2: error: unknown type name '__u32'
113 | __u32 patch_offset;
| ^~~~~
./usr/include/misc/d3dkmthk.h:114:2: error: unknown type name '__u32'
114 | __u32 split_offset;
| ^~~~~
./usr/include/misc/d3dkmthk.h:118:2: error: unknown type name '__u32'
118 | __u32 legacy_mode:1;
| ^~~~~
./usr/include/misc/d3dkmthk.h:119:2: error: unknown type name '__u32'
119 | __u32 request_vSync:1;
| ^~~~~
./usr/include/misc/d3dkmthk.h:120:2: error: unknown type name '__u32'
120 | __u32 disable_gpu_timeout:1;
| ^~~~~
./usr/include/misc/d3dkmthk.h:121:2: error: unknown type name '__u32'
121 | __u32 gdi_device:1;
| ^~~~~
./usr/include/misc/d3dkmthk.h:122:2: error: unknown type name '__u32'
122 | __u32 reserved:28;
| ^~~~~
./usr/include/misc/d3dkmthk.h:127:2: error: unknown type name '__u32'
127 | __u32 reserved3;
| ^~~~~
./usr/include/misc/d3dkmthk.h:130:2: error: unknown type name '__u64'
130 | __u64 command_buffer;
| ^~~~~
./usr/include/misc/d3dkmthk.h:131:2: error: unknown type name '__u32'
131 | __u32 command_buffer_size;
| ^~~~~
./usr/include/misc/d3dkmthk.h:132:2: error: unknown type name '__u32'
132 | __u32 reserved;
| ^~~~~
./usr/include/misc/d3dkmthk.h:133:2: error: unknown type name '__u64'
133 | __u64 allocation_list;
| ^~~~~
./usr/include/misc/d3dkmthk.h:134:2: error: unknown type name '__u32'
134 | __u32 allocation_list_size;
| ^~~~~
./usr/include/misc/d3dkmthk.h:135:2: error: unknown type name '__u32'
135 | __u32 reserved1;
| ^~~~~
./usr/include/misc/d3dkmthk.h:136:2: error: unknown type name '__u64'
136 | __u64 patch_location_list;
| ^~~~~
./usr/include/misc/d3dkmthk.h:137:2: error: unknown type name '__u32'
137 | __u32 patch_location_list_size;
| ^~~~~
./usr/include/misc/d3dkmthk.h:138:2: error: unknown type name '__u32'
138 | __u32 reserved2;
| ^~~~~
./usr/include/misc/d3dkmthk.h:158:4: error: unknown type name '__u32'
158 | __u32 null_rendering:1;
| ^~~~~
./usr/include/misc/d3dkmthk.h:159:4: error: unknown type name '__u32'
159 | __u32 initial_data:1;
| ^~~~~
./usr/include/misc/d3dkmthk.h:160:4: error: unknown type name '__u32'
160 | __u32 disable_gpu_timeout:1;
| ^~~~~
./usr/include/misc/d3dkmthk.h:161:4: error: unknown type name '__u32'
161 | __u32 synchronization_only:1;
| ^~~~~
./usr/include/misc/d3dkmthk.h:162:4: error: unknown type name '__u32'
162 | __u32 hw_queue_supported:1;
--
| ^~~~~
./usr/include/misc/d3dkmthk.h:365:2: error: unknown type name '__u64'
365 | __u64 allocation_info;
| ^~~~~
./usr/include/misc/d3dkmthk.h:367:2: error: unknown type name '__u32'
367 | __u32 reserved2;
| ^~~~~
./usr/include/misc/d3dkmthk.h:368:2: error: unknown type name '__u64'
368 | __u64 private_runtime_resource_handle;
| ^~~~~
./usr/include/misc/d3dkmthk.h:374:4: error: unknown type name '__u32'
374 | __u32 assume_not_in_use:1;
| ^~~~~
./usr/include/misc/d3dkmthk.h:375:4: error: unknown type name '__u32'
375 | __u32 synchronous_destroy:1;
| ^~~~~
./usr/include/misc/d3dkmthk.h:376:4: error: unknown type name '__u32'
376 | __u32 reserved:29;
| ^~~~~
./usr/include/misc/d3dkmthk.h:377:4: error: unknown type name '__u32'
377 | __u32 system_use_only:1;
| ^~~~~
./usr/include/misc/d3dkmthk.h:379:3: error: unknown type name '__u32'
379 | __u32 value;
| ^~~~~
./usr/include/misc/d3dkmthk.h:386:2: error: unknown type name '__u64'
386 | __u64 allocations;
| ^~~~~
./usr/include/misc/d3dkmthk.h:387:2: error: unknown type name '__u32'
387 | __u32 alloc_count;
| ^~~~~
./usr/include/misc/d3dkmthk.h:394:4: error: unknown type name '__u32'
394 | __u32 cant_trim_further:1;
| ^~~~~
./usr/include/misc/d3dkmthk.h:395:4: error: unknown type name '__u32'
395 | __u32 must_succeed:1;
| ^~~~~
./usr/include/misc/d3dkmthk.h:396:4: error: unknown type name '__u32'
396 | __u32 reserved:30;
| ^~~~~
./usr/include/misc/d3dkmthk.h:398:3: error: unknown type name '__u32'
398 | __u32 value;
| ^~~~~
./usr/include/misc/d3dkmthk.h:404:2: error: unknown type name '__u32'
404 | __u32 alloc_count;
| ^~~~~
./usr/include/misc/d3dkmthk.h:405:2: error: unknown type name '__u64'
405 | __u64 allocation_list;
| ^~~~~
./usr/include/misc/d3dkmthk.h:406:2: error: unknown type name '__u64'
406 | __u64 priority_list;
| ^~~~~
./usr/include/misc/d3dkmthk.h:408:2: error: unknown type name '__u64'
408 | __u64 paging_fence_value;
| ^~~~~
./usr/include/misc/d3dkmthk.h:409:2: error: unknown type name '__u64'
409 | __u64 num_bytes_to_trim;
| ^~~~~
./usr/include/misc/d3dkmthk.h:415:4: error: unknown type name '__u32'
415 | __u32 evict_only_if_necessary:1;
| ^~~~~
./usr/include/misc/d3dkmthk.h:416:4: error: unknown type name '__u32'
416 | __u32 not_written_to:1;
| ^~~~~
./usr/include/misc/d3dkmthk.h:417:4: error: unknown type name '__u32'
417 | __u32 reserved:30;
| ^~~~~
./usr/include/misc/d3dkmthk.h:419:3: error: unknown type name '__u32'
419 | __u32 value;
| ^~~~~
./usr/include/misc/d3dkmthk.h:425:2: error: unknown type name '__u32'
425 | __u32 alloc_count;
| ^~~~~
./usr/include/misc/d3dkmthk.h:426:2: error: unknown type name '__u64'
426 | __u64 allocations;
| ^~~~~
./usr/include/misc/d3dkmthk.h:428:2: error: unknown type name '__u32'
428 | __u32 reserved;
| ^~~~~
./usr/include/misc/d3dkmthk.h:429:2: error: unknown type name '__u64'
429 | __u64 num_bytes_to_trim;
| ^~~~~
./usr/include/misc/d3dkmthk.h:435:4: error: unknown type name '__u64'
435 | __u64 write:1;
| ^~~~~
./usr/include/misc/d3dkmthk.h:436:4: error: unknown type name '__u64'
436 | __u64 execute:1;
| ^~~~~
./usr/include/misc/d3dkmthk.h:437:4: error: unknown type name '__u64'
437 | __u64 zero:1;
| ^~~~~
./usr/include/misc/d3dkmthk.h:438:4: error: unknown type name '__u64'
438 | __u64 no_access:1;
| ^~~~~
./usr/include/misc/d3dkmthk.h:439:4: error: unknown type name '__u64'
439 | __u64 system_use_only:1;
| ^~~~~
./usr/include/misc/d3dkmthk.h:440:4: error: unknown type name '__u64'
440 | __u64 reserved:59;
| ^~~~~
>> ./usr/include/misc/d3dkmthk.h:440:10: error: width of 'reserved' exceeds its type
440 | __u64 reserved:59;
| ^~~~~~~~
./usr/include/misc/d3dkmthk.h:442:3: error: unknown type name '__u64'
442 | __u64 value;
| ^~~~~
./usr/include/misc/d3dkmthk.h:457:4: error: unknown type name '__u64'
457 | __u64 base_address;
| ^~~~~
./usr/include/misc/d3dkmthk.h:458:4: error: unknown type name '__u64'
458 | __u64 size;
| ^~~~~
./usr/include/misc/d3dkmthk.h:460:4: error: unknown type name '__u64'
460 | __u64 allocation_offset;
| ^~~~~
./usr/include/misc/d3dkmthk.h:461:4: error: unknown type name '__u64'
461 | __u64 allocation_size;
| ^~~~~
./usr/include/misc/d3dkmthk.h:464:4: error: unknown type name '__u64'
464 | __u64 base_address;
| ^~~~~
./usr/include/misc/d3dkmthk.h:465:4: error: unknown type name '__u64'
465 | __u64 size;
| ^~~~~
./usr/include/misc/d3dkmthk.h:467:4: error: unknown type name '__u64'
467 | __u64 allocation_offset;
| ^~~~~
./usr/include/misc/d3dkmthk.h:468:4: error: unknown type name '__u64'
468 | __u64 allocation_size;
| ^~~~~
./usr/include/misc/d3dkmthk.h:470:4: error: unknown type name '__u64'
470 | __u64 driver_protection;
| ^~~~~
./usr/include/misc/d3dkmthk.h:473:4: error: unknown type name '__u64'
473 | __u64 base_address;
| ^~~~~
./usr/include/misc/d3dkmthk.h:474:4: error: unknown type name '__u64'
474 | __u64 size;
| ^~~~~
./usr/include/misc/d3dkmthk.h:478:4: error: unknown type name '__u64'
478 | __u64 source_address;
| ^~~~~
./usr/include/misc/d3dkmthk.h:479:4: error: unknown type name '__u64'
479 | __u64 size;
| ^~~~~
./usr/include/misc/d3dkmthk.h:480:4: error: unknown type name '__u64'
480 | __u64 dest_address;
| ^~~~~
./usr/include/misc/d3dkmthk.h:495:2: error: unknown type name '__u32'
495 | __u32 num_operations;
| ^~~~~
./usr/include/misc/d3dkmthk.h:496:2: error: unknown type name '__u64'
496 | __u64 operations;
| ^~~~~
./usr/include/misc/d3dkmthk.h:497:2: error: unknown type name '__u32'
497 | __u32 reserved0;
| ^~~~~
./usr/include/misc/d3dkmthk.h:498:2: error: unknown type name '__u32'
498 | __u32 reserved1;
| ^~~~~
./usr/include/misc/d3dkmthk.h:499:2: error: unknown type name '__u64'
499 | __u64 reserved2;
| ^~~~~
./usr/include/misc/d3dkmthk.h:500:2: error: unknown type name '__u64'
500 | __u64 fence_value;
| ^~~~~
./usr/include/misc/d3dkmthk.h:503:4: error: unknown type name '__u32'
503 | __u32 do_not_wait:1;
| ^~~~~
./usr/include/misc/d3dkmthk.h:504:4: error: unknown type name '__u32'
504 | __u32 reserved:31;
| ^~~~~
./usr/include/misc/d3dkmthk.h:506:3: error: unknown type name '__u32'
506 | __u32 value;
| ^~~~~
./usr/include/misc/d3dkmthk.h:508:2: error: unknown type name '__u32'
508 | __u32 reserved3;
| ^~~~~
./usr/include/misc/d3dkmthk.h:513:2: error: unknown type name '__u64'
513 | __u64 base_address;
| ^~~~~
./usr/include/misc/d3dkmthk.h:514:2: error: unknown type name '__u64'
514 | __u64 minimum_address;
| ^~~~~
./usr/include/misc/d3dkmthk.h:515:2: error: unknown type name '__u64'
515 | __u64 maximum_address;
| ^~~~~
./usr/include/misc/d3dkmthk.h:517:2: error: unknown type name '__u64'
517 | __u64 offset_in_pages;
| ^~~~~
./usr/include/misc/d3dkmthk.h:518:2: error: unknown type name '__u64'
518 | __u64 size_in_pages;
| ^~~~~
./usr/include/misc/d3dkmthk.h:520:2: error: unknown type name '__u64'
520 | __u64 driver_protection;
| ^~~~~
./usr/include/misc/d3dkmthk.h:521:2: error: unknown type name '__u32'
521 | __u32 reserved0;
| ^~~~~
./usr/include/misc/d3dkmthk.h:522:2: error: unknown type name '__u64'
522 | __u64 reserved1;
..
---
0-DAY CI Kernel Test Service, Intel Corporation
https://lists.01.org/hyperkitty/list/kbuild-all@lists.01.org
next prev parent reply other threads:[~2022-02-05 5:53 UTC|newest]
Thread overview: 39+ messages / expand[flat|nested] mbox.gz Atom feed top
2022-02-05 2:33 [PATCH v2 00/24] Driver for Hyper-v virtual compute device Iouri Tarassov
2022-02-05 2:34 ` [PATCH v2 02/24] drivers: hv: dxgkrnl: Open device file and dxgprocess creation Iouri Tarassov
2022-02-05 2:34 ` [PATCH v2 03/24] drivers: hv: dxgkrnl: Enumerate and open dxgadapter objects Iouri Tarassov
2022-02-05 2:34 ` [PATCH v2 04/24] drivers: hv: dxgkrnl: Creation of dxgdevice Iouri Tarassov
2022-02-05 2:34 ` [PATCH v2 05/24] drivers: hv: dxgkrnl: Creation of dxgcontext objects Iouri Tarassov
2022-02-05 2:34 ` [PATCH v2 06/24] drivers: hv: dxgkrnl: Creation of GPU allocations and resources Iouri Tarassov
2022-02-05 2:34 ` [PATCH v2 07/24] drivers: hv: dxgkrnl: Create and destroy GPU sync objects Iouri Tarassov
2022-02-05 2:34 ` [PATCH v2 08/24] drivers: hv: dxgkrnl: Operations using " Iouri Tarassov
2022-02-05 2:34 ` [PATCH v2 09/24] drivers: hv: dxgkrnl: Sharing of dxgresource objects Iouri Tarassov
2022-02-05 2:34 ` [PATCH v2 10/24] drivers: hv: dxgkrnl: Sharing of sync objects Iouri Tarassov
2022-02-05 2:34 ` [PATCH v2 11/24] drivers: hv: dxgkrnl: Creation of hardware queue. Sync object operations to hw queue Iouri Tarassov
2022-02-05 2:34 ` [PATCH v2 12/24] drivers: hv: dxgkrnl: Creation of paging queue objects Iouri Tarassov
2022-02-05 8:30 ` Greg KH
2022-02-05 2:34 ` [PATCH v2 13/24] drivers: hv: dxgkrnl: Submit execution commands to the compute device Iouri Tarassov
2022-02-05 2:34 ` [PATCH v2 14/24] drivers: hv: dxgkrnl: Implement LX_DXSHAREOBJECTWITHHOST ioctl Iouri Tarassov
2022-02-05 2:34 ` [PATCH v2 15/24] drivers: hv: dxgkrnl: IOCTL to get the dxgdevice state LX_DXGETDEVICESTATE Iouri Tarassov
2022-02-05 2:34 ` [PATCH v2 16/24] drivers: hv: dxgkrnl: Mmap(unmap) CPU address to device allocation: LX_DXLOCK2, LX_DXUNLOCK2 Iouri Tarassov
2022-02-05 2:34 ` [PATCH v2 17/24] drivers: hv: dxgkrnl: IOCTLs to handle GPU allocation properties Iouri Tarassov
2022-02-05 2:34 ` [PATCH v2 18/24] drivers: hv: dxgkrnl: Various simple IOCTLs and unused ones LX_DXQUERYVIDEOMEMORYINFO, LX_DXFLUSHHEAPTRANSITIONS, LX_DXINVALIDATECACHE LX_DXGETSHAREDRESOURCEADAPTERLUID Iouri Tarassov
2022-02-05 2:34 ` [PATCH v2 19/24] drivers: hv: dxgkrnl: Simple IOCTLs LX_DXESCAPE, LX_DXMARKDEVICEASERROR, LX_DXQUERYSTATISTICS, LX_DXQUERYCLOCKCALIBRATION Iouri Tarassov
2022-02-05 8:30 ` Greg KH
2022-02-08 22:54 ` Iouri Tarassov
2022-02-05 2:34 ` [PATCH v2 20/24] drivers: hv: dxgkrnl: IOCTLs to offer and reclaim allocations Iouri Tarassov
2022-02-05 2:34 ` [PATCH v2 21/24] drivers: hv: dxgkrnl: Ioctls to set/get scheduling priority Iouri Tarassov
2022-02-05 2:34 ` [PATCH v2 22/24] drivers: hv: dxgkrnl: IOCTLs to manage allocation residency Iouri Tarassov
2022-02-05 2:34 ` [PATCH v2 23/24] drivers: hv: dxgkrnl: IOCTLs to handle GPU virtual addressing (GPU VA) Iouri Tarassov
2022-02-05 2:34 ` [PATCH v2 24/24] drivers: hv: dxgkrnl: Add support to map guest pages by host Iouri Tarassov
[not found] ` <98fe53740526526c4df85a3a3d2e13e88c95f229.1644025661.git.iourit@linux.microsoft.com>
2022-02-05 5:52 ` kernel test robot [this message]
2022-02-05 8:24 ` [PATCH v2 01/24] drivers: hv: dxgkrnl: Driver initialization and creation of dxgadapter Greg KH
2022-02-05 8:25 ` Greg KH
2022-02-07 18:59 ` Iouri Tarassov
2022-02-08 7:20 ` Greg KH
2022-02-08 18:24 ` Iouri Tarassov
2022-02-05 8:26 ` Greg KH
2022-02-05 8:28 ` Greg KH
2022-02-05 9:14 ` kernel test robot
2022-02-06 4:15 ` [PATCH v2 00/24] Driver for Hyper-v virtual compute device James Hilliard
2022-02-07 6:56 ` Christoph Hellwig
2022-02-09 8:26 ` James Hilliard
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=202202051359.j7N6kn2E-lkp@intel.com \
--to=lkp@intel.com \
--cc=gregkh@linuxfoundation.org \
--cc=haiyangz@microsoft.com \
--cc=iourit@linux.microsoft.com \
--cc=kbuild-all@lists.01.org \
--cc=kys@microsoft.com \
--cc=linux-hyperv@vger.kernel.org \
--cc=linux-kernel@vger.kernel.org \
--cc=spronovo@microsoft.com \
--cc=sthemmin@microsoft.com \
--cc=wei.liu@kernel.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).