HERMON_RO_ENABLED
uint32_t hermon_kernel_data_ro = HERMON_RO_ENABLED; /* default */
uint32_t hermon_user_data_ro = HERMON_RO_ENABLED; /* default */
if (hermon_kernel_data_ro == HERMON_RO_ENABLED)
if (hermon_kernel_data_ro == HERMON_RO_ENABLED)
if (hermon_kernel_data_ro == HERMON_RO_ENABLED)
HERMON_RO_ENABLED)) {
HERMON_RO_ENABLED))) {