kernel_managing_mpx_tables  408 arch/x86/mm/mpx.c 	if (!kernel_managing_mpx_tables(current->mm))
kernel_managing_mpx_tables  894 arch/x86/mm/mpx.c 	if (!kernel_managing_mpx_tables(current->mm))
kernel_managing_mpx_tables  922 arch/x86/mm/mpx.c 	if (!kernel_managing_mpx_tables(current->mm))