kernel output clang

gistfile1.txt

entry: platform_start()
cmd line: /exports/users/alr48/postmerge-rootfs256/boot/kernel/kernel
envp:
        memsize = 268435456
        ememsize = 2147483648
        modetty0 = 38400n8r
memsize = 268435456 (0x10000000)
ememsize = 2147483648
Cache info:
  picache_stride    = 4096
  picache_loopcount = 2
  pdcache_stride    = 4096
  pdcache_loopcount = 2
  max line size     = 32
cpu0: Unknown cid 0 processor v0.137
  MMU: Standard TLB, 32 entries (4K 16K 64K 256K 1M 16M 64M 256M pg sizes)
  L1 i-cache: 2 ways of 128 sets, 32 bytes per line
  L1 d-cache: 2 ways of 128 sets, 32 bytes per line
  L2 cache: disabled
  Config1=0xbe6130db<COP2,PerfCount,WatchRegs,EJTAG,FPU>
  Config2=0x80000000
  Config3=0xc002000<ULRI>
Physical memory chunk(s):
0x7b5000 - 0xfffffff, 260354048 bytes (63563 pages)
0x90000000 - 0xffffffff, 1879048192 bytes (458752 pages)
Maxmem is 0x100000000
KDB: debugger backends: ddb
KDB: current backend: ddb
Copyright (c) 1992-2016 The FreeBSD Project.
Copyright (c) 1979, 1980, 1983, 1986, 1988, 1989, 1991, 1992, 1993, 1994
        The Regents of the University of California. All rights reserved.
FreeBSD is a registered trademark of The FreeBSD Foundation.
FreeBSD 12.0-CURRENT #0: Thu Feb 23 09:20:45 UTC 2017
    alr48@vica.cl.cam.ac.uk:/home/alr48/cheri/build-postmerge/cheribsd-obj-256/mips.mips64/exports/users/alr48/sources/cheribsd-postmerge/sys/CHERI_MALTA64 mips
clang version 5.0.0
Preloaded elf kernel "kernel" at 0xffffffff807a84e0.
real memory  = 2147483648 (2097152K bytes)
Physical memory chunk(s):
0x008e0000 - 0x0fffffff, 259129344 bytes (63264 pages)
0x90000000 - 0xfcbd8fff, 1824362496 bytes (445401 pages)
avail memory = 2074427392 (1978MB)
CHERI: compiled for 256-bit capabilities
random: entropy device external interface
null: <full device, null device, zero device>
mem: <memory>
nfslock: pseudo-device
nexus0: <MIPS32 root nexus>
random: harvesting attach, 8 bytes (4 bits) from nexus0
gt0: <GT64120 chip> on nexus0
pcib0: <GT64120 PCI bridge> on gt0
pci0: <PCI bus> on pcib0
pci0: domain=0, physical bus=0
found-> vendor=0x11ab, dev=0x4620, revid=0x10
        domain=0, bus=0, slot=0, func=0
        class=06-00-00, hdrtype=0x00, mfdev=0
        cmdreg=0x0000, statreg=0x0280, cachelnsz=0 (dwords)
        lattimer=0x00 (0 ns), mingnt=0x00 (0 ns), maxlat=0x00 (0 ns)
        intpin=a, irq=0
        map[14]: type Prefetchable Memory, range 32, base 0x1000000, size 24, memory disabled
        map[18]: type Memory, range 32, base 0x1c000000, size 26, memory disabled
        map[1c]: type Memory, range 32, base 0x1f000000, size 24, memory disabled
        map[20]: type Memory, range 32, base 0x14000000, size 26, memory disabled
        map[24]: type I/O Port, range 32, base 0x14000000, size 26, port disabled
pcib0: no IRQ mapping for 0/0/0/1
found-> vendor=0x8086, dev=0x7110, revid=0x00
        domain=0, bus=0, slot=10, func=0
        class=06-01-00, hdrtype=0x00, mfdev=1
        cmdreg=0x0000, statreg=0x0200, cachelnsz=0 (dwords)
        lattimer=0x00 (0 ns), mingnt=0x00 (0 ns), maxlat=0x00 (0 ns)
found-> vendor=0x8086, dev=0x7111, revid=0x00
        domain=0, bus=0, slot=10, func=1
        class=01-01-80, hdrtype=0x00, mfdev=0
        cmdreg=0x0000, statreg=0x0280, cachelnsz=0 (dwords)
        lattimer=0x00 (0 ns), mingnt=0x00 (0 ns), maxlat=0x00 (0 ns)
        map[20]: type I/O Port, range 32, base 0, size  4, port disabled
found-> vendor=0x8086, dev=0x7112, revid=0x01
        domain=0, bus=0, slot=10, func=2
        class=0c-03-00, hdrtype=0x00, mfdev=0
        cmdreg=0x0000, statreg=0x0000, cachelnsz=0 (dwords)
        lattimer=0x00 (0 ns), mingnt=0x00 (0 ns), maxlat=0x00 (0 ns)
        intpin=d, irq=0
        map[20]: type I/O Port, range 32, base 0, size  5, port disabled
pcib0: no IRQ mapping for 0/10/2/4
found-> vendor=0x8086, dev=0x7113, revid=0x03
        domain=0, bus=0, slot=10, func=3
        class=06-80-00, hdrtype=0x00, mfdev=0
        cmdreg=0x0000, statreg=0x0280, cachelnsz=0 (dwords)
        lattimer=0x00 (0 ns), mingnt=0x00 (0 ns), maxlat=0x00 (0 ns)
        intpin=a, irq=0
pcib0: no IRQ mapping for 0/10/3/1
found-> vendor=0x1022, dev=0x2000, revid=0x10
        domain=0, bus=0, slot=11, func=0
        class=02-00-00, hdrtype=0x00, mfdev=0
        cmdreg=0x0000, statreg=0x0280, cachelnsz=0 (dwords)
        lattimer=0x00 (0 ns), mingnt=0x06 (1500 ns), maxlat=0xff (63750 ns)
        intpin=a, irq=0
        map[10]: type I/O Port, range 32, base 0, size  5, port disabled
        map[14]: type Memory, range 32, base 0, size  5, memory disabled
found-> vendor=0x1013, dev=0x00b8, revid=0x00
        domain=0, bus=0, slot=18, func=0
        class=03-00-00, hdrtype=0x00, mfdev=0
        cmdreg=0x0000, statreg=0x0000, cachelnsz=0 (dwords)
        lattimer=0x00 (0 ns), mingnt=0x00 (0 ns), maxlat=0x00 (0 ns)
        map[10]: type Prefetchable Memory, range 32, base 0, size 25, memory disabled
        map[14]: type Memory, range 32, base 0, size 12, memory disabled
obio0 irq 0 at device 0.0 on pci0
uart0: <16550 or compatible> on obio0
uart0: console (9600,n,8,1)
uart0: fast interrupt
uart0: PPS capture mode: DCD
random: harvesting attach, 8 bytes (4 bits) from uart0
random: harvesting attach, 8 bytes (4 bits) from obio0
pci0: <bridge, PCI-ISA> at device 10.0 (no driver attached)
atapci0: <Intel PIIX4 UDMA33 controller> port 0x1f0-0x1f7,0x3f6,0x170-0x177,0x376 at device 10.1 on pci0
atapci0: Lazy allocation of 0x10 bytes rid 0x20 type 4 at 0x100
ata0: <ATA channel> at channel 0 on atapci0
random: harvesting attach, 8 bytes (4 bits) from ata0
ata1: <ATA channel> at channel 1 on atapci0
random: harvesting attach, 8 bytes (4 bits) from ata1
random: harvesting attach, 8 bytes (4 bits) from atapci0
pci0: <serial bus, USB> at device 10.2 (no driver attached)
pci0: <bridge> at device 10.3 (no driver attached)
le0: <AMD PCnet-PCI> irq 10 at device 11.0 on pci0
le0: Lazy allocation of 0x20 bytes rid 0x10 type 4 at 0x120
le0: 16 receive buffers, 4 transmit buffers
le0: bpf attached
le0: Ethernet address: 52:54:00:12:34:56
random: harvesting attach, 8 bytes (4 bits) from le0
vgapci0: <VGA-compatible display> at device 18.0 on pci0
random: harvesting attach, 8 bytes (4 bits) from vgapci0
random: harvesting attach, 8 bytes (4 bits) from pci0
random: harvesting attach, 8 bytes (4 bits) from pcib0
random: harvesting attach, 8 bytes (4 bits) from gt0
clock0: <Generic MIPS32 ticker> on nexus0
Timecounter "MIPS32" frequency 100000000 Hz quality 800
Event timer "MIPS32" frequency 100000000 Hz quality 800
random: harvesting attach, 8 bytes (4 bits) from clock0
Device configuration finished.
Timecounters tick every 10.000 msec
eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee