sys/arm64/arm64/pmap.c

2599

KASSERT(ADDR_IS_KERNEL(sva), ("usermode va %lx", sva));

sys/arm64/arm64/pmap.c

2718

if (ADDR_IS_KERNEL(va))

sys/arm64/arm64/pmap.c

5836

if (ADDR_IS_KERNEL(va)) {

sys/arm64/arm64/pmap.c

5858

if (ADDR_IS_KERNEL(va)) {

sys/arm64/arm64/pmap.c

5908

KASSERT(ADDR_IS_KERNEL(va) &&

sys/arm64/arm64/pmap.c

601

KASSERT(ADDR_IS_KERNEL(va) || (l1 & ATTR_DESCR_VALID) != 0,

sys/arm64/arm64/pmap.c

635

KASSERT(ADDR_IS_KERNEL(va) || (l2 & ATTR_DESCR_VALID) != 0,

sys/arm64/arm64/pmap.c

9306

if (ADDR_IS_KERNEL(va)) {

sys/arm64/arm64/pmap.c

9780

if (eva <= sva || ADDR_IS_KERNEL(eva))

sys/arm64/arm64/trap.c

296

} else if (ADDR_IS_KERNEL(far)) {

sys/arm64/include/vmparam.h

230

if (ADDR_IS_KERNEL(addr)) \

sys/arm64/vmm/vmm_arm64.c

872

if (ADDR_IS_KERNEL(gla)) {