Searched refs:__print_xsave_buffer (Results 1 – 1 of 1) sorted by relevance
847 void __print_context(void *__print_xsave_buffer, int line) in __print_context() argument849 uint64_t *bounds = (uint64_t *)(__print_xsave_buffer + MPX_BOUNDS_OFFSET); in __print_context()850 uint64_t *cfg = (uint64_t *)(__print_xsave_buffer + MPX_CONFIG_OFFSET); in __print_context()