Symbol: L2_BUCKET_XFRAME
sys/arch/arm/arm32/pmap.c
630
__CTASSERT(L2_BUCKET_XFRAME == ~(L2_BUCKET_XSIZE-1));
sys/arch/arm/arm32/pmap.c
636
#define L2_NEXT_BUCKET_VA(va) (((va) & L2_BUCKET_XFRAME) + L2_BUCKET_XSIZE)