https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=240180 --- Comment #1 from John Baldwin <jhb at FreeBSD.org> --- amd64's pcpu.h has a 'get_pcpu' wrapper for this case already. -- You are receiving this mail because: You are the assignee for the bug.