VIRTUAL_BUG_ON
VIRTUAL_BUG_ON(x < (unsigned long)KERNEL_START ||
VIRTUAL_BUG_ON(x < (unsigned long) KERNEL_START ||
VIRTUAL_BUG_ON(x < (unsigned long)_text ||
VIRTUAL_BUG_ON(x < kernel_start || x > kernel_end);
VIRTUAL_BUG_ON(x >> 31);
VIRTUAL_BUG_ON(is_vmalloc_or_module_addr((void *)(x)));
VIRTUAL_BUG_ON(y >= KERNEL_IMAGE_SIZE);
VIRTUAL_BUG_ON(y >= KERNEL_IMAGE_SIZE);
VIRTUAL_BUG_ON((x > y) || !phys_addr_valid(x));
VIRTUAL_BUG_ON(x < PAGE_OFFSET);
VIRTUAL_BUG_ON(__vmalloc_start_set && is_vmalloc_addr((void *) x));
VIRTUAL_BUG_ON((phys_addr >> PAGE_SHIFT) > max_low_pfn);
VIRTUAL_BUG_ON(!is_vmalloc_or_module_addr(vmalloc_addr));