is_x86_32_kernel_text
if (is_x86_32_kernel_text(addr) ||
is_x86_32_kernel_text(addr2))
if (is_x86_32_kernel_text(addr))