Symbol: HIGH_32_BITS
sys/dev/pms/freebsd/driver/common/lxcommon.h
568
#define HIGH_32_BITS(addr) (U32)((addr >> 32) & 0xffffffff)
sys/dev/pms/freebsd/driver/common/lxcommon.h
571
#define HIGH_32_BITS(addr) 0