Searched refs:print_state_component (Results 1 – 1 of 1) sorted by relevance
496 void print_state_component(int state_bit_nr, char *name) in print_state_component() function568 print_state_component(XSTATE_BIT_BNDREGS, "BNDREGS"); in check_mpx_support()569 print_state_component(XSTATE_BIT_BNDCSR, "BNDCSR"); in check_mpx_support()