[Bug 223874] arm64: kernel does not build with DIAGNOSTIC enabled

[bugzilla-noreply at freebsd.org]

https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=223874

            Bug ID: 223874
           Summary: arm64: kernel does not build with DIAGNOSTIC enabled
           Product: Base System
           Version: CURRENT
          Hardware: Any
                OS: Any
            Status: New
          Severity: Affects Only Me
          Priority: ---
         Component: arm
          Assignee: freebsd-arm at FreeBSD.org
          Reporter: emaste at freebsd.org

Attempting to build arm64 with options DIAGNOSTIC enabled in kernel config
results in:

--- pmap.o ---
/root/freebsd/sys/arm64/arm64/pmap.c:900:1: error: no previous prototype for
function 'pmap_invalidate_page' [-Werror,-Wmissing-prototypes]
pmap_invalidate_page(pmap_t pmap, vm_offset_t va)
^
/root/freebsd/sys/arm64/arm64/pmap.c:914:1: error: no previous prototype for
function 'pmap_invalidate_range' [-Werror,-Wmissing-prototypes]
pmap_invalidate_range(pmap_t pmap, vm_offset_t sva, vm_offset_t eva)
^
/root/freebsd/sys/arm64/arm64/pmap.c:931:1: error: no previous prototype for
function 'pmap_invalidate_all' [-Werror,-Wmissing-prototypes]
pmap_invalidate_all(pmap_t pmap)
^

-- 
You are receiving this mail because:
You are the assignee for the bug.