Fix smcConfigureCarveout

This commit is contained in:
Michael Scire 2018-03-07 03:45:27 -08:00
parent d4c1e0b982
commit b26b8e1f5c

View file

@ -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];