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