MEMBARRIER_CMD_GET_REGISTRATIONS
| MEMBARRIER_CMD_GET_REGISTRATIONS)
case MEMBARRIER_CMD_GET_REGISTRATIONS:
ret = sys_membarrier(MEMBARRIER_CMD_GET_REGISTRATIONS, 0);