id: 25-77943.0-339696.r342617/0
type: file
pred: 25-77943.0-325834.r336431/306
count: 16
text: 341329 0 3064 11272 0872803d867c55d146c25761e819454f 5597d6361df321e8d23adfe80355f90dfd788c07 342616-7coq/_6
props: 2 314168 38 0 b6b34f029ed66be42751a530d6e4b830
cpath: /stable/12/stand/efi/libefi/efi_console.c
copyroot: 325834 /head/stand

PLAIN
K 8
Makefile
V 35
file 1o-77943.0-325834.r330813/5179
K 15
Makefile.depend
V 31
file 1v0-284345.0.r288228/79980
K 7
delay.c
V 29
file 21-77943.0.r113038/14096
K 12
devicename.c
V 34
file f-206376.0-330810.r330810/993
K 9
devpath.c
V 35
file 9-300780.0-325834.r336654/2357
K 13
efi_console.c
V 32
file 25-77943.0-339696.r342617/0
K 18
efi_driver_utils.c
V 28
file d-322038.0.r322038/6523
K 9
efichar.c
V 33
file g-203181.2-326854.r328061/83
K 8
efienv.c
V 35
file a-330813.0-325834.r330970/2075
K 8
efinet.c
V 32
file a-83828.0-325834.r331767/52
K 9
efipart.c
V 35
file b-201941.0-325834.r336655/2678
K 8
efizfs.c
V 35
file a-322039.0-325834.r335229/2799
K 5
env.c
V 33
file 7-300081.0-325834.r336425/85
K 7
errno.c
V 28
file c-164010.0.r322040/3025
K 9
handles.c
V 28
file e-164010.0.r294068/9045
K 8
libefi.c
V 28
file 2d-77943.0.r322938/2289
K 6
time.c
V 28
file 2h-77943.0.r322074/1669
K 12
time_event.c
V 27
file a-301306.0.r306159/788
K 7
wchar.c
V 28
file a-313042.0.r313042/7424
END
ENDREP
id: 1n-77943.0-339696.r342617/1340
type: dir
pred: 1n-77943.0-325834.r336655/4015
count: 232
text: 342617 337 990 0 5f45c39409f09923defee3264d6cfa95
cpath: /stable/12/stand/efi/libefi
copyroot: 325834 /head/stand

PLAIN
K 8
Makefile
V 34
file 6-77943.0-325834.r337806/8685
K 12
Makefile.inc
V 33
file 9-77943.0-325834.r336535/429
K 5
boot1
V 34
dir 7-280950.0-325834.r338337/2922
K 3
fdt
V 33
dir 4-281028.0-325834.r328853/515
K 7
include
V 33
dir b-77943.0-325834.r336655/2470
K 6
libefi
V 34
dir 1n-77943.0-339696.r342617/1340
K 6
loader
V 34
dir a-280950.0-339696.r340019/1094
K 10
loader_4th
V 35
dir b-337806.0-325834.r337806/10689
K 10
loader_lua
V 35
dir f-337806.0-325834.r337806/11238
K 11
loader_simp
V 35
dir j-337806.0-325834.r337806/11788
END
ENDREP
id: 5-77943.0-339696.r342617/2103
type: dir
pred: 5-77943.0-339696.r340019/1857
count: 587
text: 342617 1554 536 0 e0c2435f6b982f0f137cfc1a3d140733
cpath: /stable/12/stand/efi
copyroot: 325834 /head/stand

PLAIN
K 8
Makefile
V 34
file 7-38465.0-329166.r336084/1035
K 14
Makefile.amd64
V 35
file 5-211679.0-325834.r330248/7380
K 12
Makefile.inc
V 36
file 11-180012.0-325834.r326441/1040
K 3
arm
V 33
dir 3-157697.0-325834.r335224/174
K 5
arm64
V 33
dir a-281526.0-325834.r333079/482
K 6
common
V 33
dir g-38466.0-339696.r342615/3059
K 8
defaults
V 33
dir 6-330005.0-325834.r339308/656
K 7
defs.mk
V 34
file 5-324651.0-325834.r338474/120
K 3
efi
V 33
dir 5-77943.0-339696.r342617/2103
K 3
fdt
V 34
dir b-208538.0-325834.r338262/3411
K 6
fdt.mk
V 28
file f-325689.0.r325689/6041
K 4
ficl
V 34
dir 5-40843.0-325834.r330864/24934
K 7
ficl.mk
V 34
file 1-307949.0-326720.r335110/435
K 6
ficl32
V 34
dir 6-244531.0-264087.r325480/3155
K 5
forth
V 33
dir 3-44603.0-339696.r339696/2158
K 4
i386
V 34
dir 6l-38465.0-339696.r342616/6836
K 5
kshim
V 34
dir 4-269541.0-325834.r328987/1138
K 6
liblua
V 34
dir d-329166.0-339696.r339978/1037
K 8
liblua32
V 35
dir x-329166.0-325834.r329166/32850
K 5
libsa
V 35
dir 6-324453.0-339696.r342165/13475
K 7
libsa32
V 28
dir a-324553.0.r325694/33796
K 9
loader.mk
V 36
file 2z-38465.1-326712.r337806/17983
K 3
lua
V 34
dir 4-329167.0-339696.r340244/2443
K 6
lua.mk
V 37
file 12-329166.0-325834.r329859/25911
K 3
man
V 33
dir 6-324647.0-325834.r337836/573
K 4
mips
V 35
dir 3-262197.0-325834.r335733/22558
K 3
ofw
V 35
dir 6u-38465.0-325834.r336085/10725
K 7
powerpc
V 34
dir a-51053.0-325834.r335117/12663
K 7
sparc64
V 33
dir 3-84974.0-325834.r338201/1618
K 5
uboot
V 35
dir 3-176348.0-339696.r342165/15577
K 8
uboot.mk
V 36
file g-324876.0-325834.r329190/14715
K 3
usb
V 34
dir 3-246145.0-325834.r328990/1565
K 8
userboot
V 35
dir n-223695.0-325834.r338418/11582
END
ENDREP
id: 6j-38465.0-339696.r342617/4007
type: dir
pred: 6j-38465.0-339696.r342616/8745
count: 4577
text: 342617 2309 1685 0 1c503a0ad6dc65f70554b0f659583c2c
props: 80416 75 4 0 2d2977d1c96f487abe4a1e202dd03b4e
cpath: /stable/12/stand
copyroot: 325834 /head/stand

PLAIN
K 10
.arcconfig
V 26
file 1-265842.0.r306435/41
K 8
.arclint
V 25
file 1-266959.0.r326959/0
K 14
.gitattributes
V 25
file 1-327183.0.r337158/0
K 10
.gitignore
V 26
file 4-327183.0.r335840/66
K 9
COPYRIGHT
V 25
file 1-2656.0.r333391/421
K 5
LOCKS
V 26
file 1-146890.0.r334871/53
K 11
MAINTAINERS
V 34
file 1-94742.0-339434.r339435/1656
K 8
Makefile
V 32
file 3-1594.0-341090.r341090/279
K 13
Makefile.inc1
V 33
file 5-38666.0-339434.r340697/485
K 18
Makefile.libcompat
V 33
file 5-38666.0-340697.r340697/806
K 16
Makefile.sys.inc
V 27
file 3-325973.0.r326580/260
K 17
ObsoleteFiles.inc
V 34
file 4-148330.0-339434.r341261/851
K 6
README
V 26
file 1-21173.0.r335299/328
K 9
README.md
V 27
file 1-314473.0.r335299/605
K 8
UPDATING
V 33
file 1-41806.0-339434.r342581/433
K 3
bin
V 29
dir 1-5.0-339434.r342166/4109
K 4
cddl
V 35
dir 1-168404.0-339434.r339435/11806
K 7
contrib
V 34
dir 1-16755.0-339434.r342359/88225
K 6
crypto
V 35
dir 1-25405.0-339434.r340705/151502
K 3
etc
V 30
dir 1-38.0-339434.r340751/3086
K 3
gnu
V 29
dir 1-3.0-339434.r341239/2659
K 7
include
V 24
dir 1-697.0.r339184/5517
K 9
kerberos5
V 29
dir 4q-29815.0.r339270/613402
K 3
lib
V 30
dir 6-5.0-339434.r342359/96286
K 7
libexec
V 29
dir c-5.0-339434.r342228/4755
K 7
release
V 33
dir 1-3027.0-339434.r341167/61994
K 6
rescue
V 34
dir 7-117035.0-339434.r340697/2014
K 4
sbin
V 30
dir fa-4.0-339434.r342584/6422
K 6
secure
V 34
dir r-1553.0-339434.r340705/391382
K 5
share
V 30
dir e-3.0-339434.r342584/40959
K 5
stand
V 34
dir 6j-38465.0-339696.r342617/4007
K 3
sys
V 31
dir g-5.0-339434.r342608/174155
K 7
targets
V 35
dir 2-242818.2-339825.r339825/31249
K 5
tests
V 34
dir g-257097.0-339434.r342545/4183
K 5
tools
V 33
dir 43-1590.0-339434.r342393/6334
K 7
usr.bin
V 30
dir m-3.0-339434.r341777/23688
K 8
usr.sbin
V 30
dir q-3.0-339434.r342467/11958
END
ENDREP
PLAIN
K 9
svk:merge
V 63
384e816d-6934-dd11-b2c8-001c23dd0aa3:/local/freebsd/head:190430
K 10
svn:ignore
V 188
_.tinderbox.*
_.universe-toolchain
_.amd64.*
_.arm.*
_.arm64.*
_.i386.*
_.ia64.*
_.mips.*
_.pc98.*
_.powerpc.*
_.riscv.*
_.sparc64.*
_.sun4v.*
GPATH
GRTAGS
GTAGS
ID
cscope.out
?cscope.out

K 13
svn:mergeinfo
V 3421
/head:339449,339451-339453,339455-339456,339458,339460,339462,339464-339466,339470,339472,339475,339489-339490,339493,339497,339502-339503,339506-339509,339511,339514,339523,339531-339533,339535-339537,339539,339542,339544-339545,339547-339548,339550-339556,339558,339562,339578-339579,339581-339582,339584-339588,339591,339595-339596,339598-339601,339603,339616,339618,339626-339627,339639,339642-339643,339646,339649,339651,339653,339656,339658-339659,339661,339664,339675-339678,339681-339682,339684-339689,339692,339701-339703,339709,339728,339731,339737,339740-339741,339745-339747,339751,339780-339782,339785,339791,339793-339795,339800,339802,339804-339808,339810-339812,339816-339818,339820,339823-339824,339827,339843,339848-339849,339861,339868-339870,339873,339875,339883,339892-339893,339895-339898,339900,339909,339914,339923-339925,339927,339930-339931,339933-339934,339959,339971-339972,339979,339989,339991-339995,339999,340004-340005,340009-340010,340014,340026,340037,340040,340046-340047,340049-340050,340064-340070,340072,340076,340089-340090,340095,340099-340100,340104,340108,340110-340111,340128,340135-340137,340144,340146,340149,340152,340155,340160,340164,340168,340170-340171,340174-340175,340181,340185,340192,340204-340205,340211-340212,340215,340236,340240-340241,340245,340248-340249,340251-340252,340254,340256-340257,340260,340264-340266,340272-340275,340279,340285,340288,340294-340295,340297,340299,340302-340304,340310,340313-340314,340319,340321-340325,340327-340329,340331,340334,340344-340345,340360,340364,340372,340383-340384,340387,340390,340392,340394,340399-340400,340402,340405-340406,340408-340410,340425-340426,340431,340434-340442,340445,340455,340463-340464,340472,340475,340477,340479-340480,340482-340485,340487,340489-340492,340495,340507-340508,340543,340546-340547,340587,340592-340594,340621-340622,340631-340632,340635-340636,340639,340649-340650,340652,340654,340656,340661-340663,340674-340679,340686,340689,340694,340699,340703,340706-340707,340713,340717,340724,340730-340731,340733-340734,340738,340745,340747,340749,340754,340765,340767,340771-340772,340774,340777,340781-340783,340787,340792,340796-340806,340814,340822,340826,340831,340833,340835,340842,340856,340858-340864,340866-340868,340875,340883-340892,340894-340900,340909,340914,340917,340922,340939,340968,340974,340976,340978-340979,340983-340984,340986,340994-340995,341001,341007-341008,341016,341038,341041,341068,341071,341073,341094,341096,341144-341145,341156,341160,341164,341197,341213-341215,341231,341247-341248,341253,341257,341265,341272-341273,341279-341280,341290,341295,341297,341301-341302,341309,341311,341326-341329,341334-341335,341346,341351,341357,341364,341374-341375,341377,341384,341388,341393,341397-341400,341402,341430,341439,341441-341443,341447-341448,341456,341464,341469,341484,341505,341511-341513,341516-341587,341589-341592,341594-341595,341601-341602,341624,341632,341638,341643,341645-341646,341650,341655,341679-341682,341692-341694,341704-341706,341719,341724,341726,341738,341746,341766,341768,341782-341786,341795,341798-341799,341806-341808,341810,341820-341821,341824,341829,341833-341835,341844,341988,341990,341992-341993,341998-342000,342030,342042,342053,342056,342071-342073,342086,342124-342125,342127,342141,342144,342150,342156,342183,342185,342193,342204,342207,342211,342214,342227,342280,342286,342298-342302,342349,342367,342374,342377,342547
END
ENDREP
id: 5-1.0-339434.r342617/9863
type: dir
pred: 5-1.0-339434.r342616/14601
count: 226795
text: 342617 4266 1825 0 598f3c437e44e3cbf4b25c08d05b9a03
props: 342617 6104 3746 0 ba80b46eff848b284f19884f248cfd0d
cpath: /stable/12
copyroot: 339434 /stable/12
minfo-cnt: 1
minfo-here: y

PLAIN
K 2
10
V 31
dir 5-1.0-256281.r342608/100634
K 2
11
V 31
dir 5-1.0-302408.r342608/166645
K 2
12
V 29
dir 5-1.0-339434.r342617/9863
K 5
2.0.5
V 28
dir 5-1.0-8869.r250544/29657
K 3
2.1
V 28
dir 5-1.0-9211.r250544/32292
K 3
2.2
V 29
dir 5-1.0-19327.r250544/35157
K 1
3
V 29
dir 5-1.0-42951.r250544/38731
K 1
4
V 29
dir 5-1.0-57955.r265133/16756
K 1
5
V 30
dir 5-1.0-133968.r250544/73757
K 1
6
V 29
dir 5-1.0-147906.r290702/7251
K 1
7
V 30
dir 5-1.0-172506.r338329/47527
K 1
8
V 31
dir 5-1.0-196045.r342468/205374
K 1
9
V 30
dir 5-1.0-225736.r340353/60347
END
ENDREP
id: 9-1.0.r342617/10709
type: dir
pred: 9-1.0.r342616/15450
count: 80741
text: 342617 10141 555 0 653f968dc273d35c589aef62b2898d0e
cpath: /stable
copyroot: 0 /
minfo-cnt: 2491

PLAIN
K 11
ROADMAP.txt
V 26
file 0-179453.0.r285589/70
K 4
head
V 23
dir 5-1.0.r342614/11118
K 8
projects
V 23
dir 6-1.0.r342186/12046
K 7
release
V 22
dir 7-1.0.r341707/3356
K 6
releng
V 23
dir 8-1.0.r342233/11012
K 6
stable
V 23
dir 9-1.0.r342617/10709
K 8
svnadmin
V 27
dir 0-179447.0.r342556/1304
K 4
user
V 23
dir a-1.0.r342217/13367
K 6
vendor
V 23
dir b-1.0.r342612/12711
K 13
vendor-crypto
V 25
dir 0-1575.0.r340693/5087
K 10
vendor-sys
V 27
dir 0-12116.0.r342532/34123
END
ENDREP
id: 0.0.r342617/11375
type: dir
pred: 0.0.r342616/16116
count: 342617
text: 342617 10886 476 0 874e25711541ecadfd33e72937c5ff6f
props: 289270 0 4229 0 20f578acc837c5e58fc64b9eaa493aea
cpath: /
copyroot: 0 /
minfo-cnt: 45494

5-1.0-339434.t342616-7coq modify-dir false true /stable/12

25-77943.0-339696.t342616-7coq modify-file true false /stable/12/stand/efi/libefi/efi_console.c


11375 11600