KERNEL_VSID_BIT
* 0x13bbUL) & (KERNEL_VSID_BIT - 1)) | \
KERNEL_VSID_BIT)
if ((vsid & KERNEL_VSID_BIT) == 0 ||
#define LPTE_KERNEL_VSID_BIT (KERNEL_VSID_BIT << \
* 0x13bbUL) & (KERNEL_VSID_BIT - 1)) | \
KERNEL_VSID_BIT)