Searched refs:MPX_CONFIG_OFFSET (Results 1 – 1 of 1) sorted by relevance
765 #define MPX_CONFIG_OFFSET 1024 macro881 uint64_t *cfg = (uint64_t *)(__print_xsave_buffer + MPX_CONFIG_OFFSET); in __print_context()