evmcs_read32
return evmcs_read32(field);
return evmcs_write32(field, evmcs_read32(field) & ~mask);
return evmcs_write32(field, evmcs_read32(field) | mask);