From b26b8e1f5c1977ddfb206d902e63db3c8a8c92e8 Mon Sep 17 00:00:00 2001
From: Michael Scire <SciresM@gmail.com>
Date: Wed, 7 Mar 2018 03:45:27 -0800
Subject: [PATCH] Fix smcConfigureCarveout

---
 exosphere/src/smc_api.c | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/exosphere/src/smc_api.c b/exosphere/src/smc_api.c
index c946e1077..be235010e 100644
--- a/exosphere/src/smc_api.c
+++ b/exosphere/src/smc_api.c
@@ -545,10 +545,6 @@ uint32_t smc_read_write_register(smc_args_t *args) {
 
 
 uint32_t smc_configure_carveout(smc_args_t *args) {
-    if (args->X[0] > 1) {
-        return 2;
-    }
-
     unsigned int carveout_id = (unsigned int)args->X[1];
     uint64_t address = args->X[2];
     uint64_t size = args->X[3];