2018-02-23 09:12:38 +00:00
|
|
|
#include <stdint.h>
|
|
|
|
|
2018-02-25 02:34:15 +00:00
|
|
|
#include "memory_map.h"
|
2018-02-23 09:12:38 +00:00
|
|
|
#include "mc.h"
|
|
|
|
|
|
|
|
volatile security_carveout_t *get_carveout_by_id(unsigned int carveout) {
|
2018-02-23 13:42:47 +00:00
|
|
|
if (CARVEOUT_ID_MIN <= carveout && carveout <= CARVEOUT_ID_MAX) {
|
2018-02-26 21:09:35 +00:00
|
|
|
return (volatile security_carveout_t *)(MC_BASE + 0xC08ull + 0x50 * (carveout - CARVEOUT_ID_MIN));
|
2018-02-23 09:12:38 +00:00
|
|
|
}
|
2018-02-24 14:20:45 +00:00
|
|
|
generic_panic();
|
2018-02-23 09:12:38 +00:00
|
|
|
return NULL;
|
|
|
|
}
|
|
|
|
|
|
|
|
void configure_default_carveouts(void) {
|
|
|
|
/* Configure Carveout 1 (UNUSED) */
|
|
|
|
volatile security_carveout_t *carveout = get_carveout_by_id(1);
|
|
|
|
carveout->paddr_low = 0;
|
|
|
|
carveout->paddr_high = 0;
|
2018-02-26 21:09:35 +00:00
|
|
|
carveout->size_big_pages = 0;
|
2018-02-23 09:12:38 +00:00
|
|
|
carveout->flags_0 = 0;
|
|
|
|
carveout->flags_1 = 0;
|
|
|
|
carveout->flags_2 = 0;
|
|
|
|
carveout->flags_3 = 0;
|
|
|
|
carveout->flags_4 = 0;
|
|
|
|
carveout->flags_5 = 0;
|
|
|
|
carveout->flags_6 = 0;
|
|
|
|
carveout->flags_7 = 0;
|
|
|
|
carveout->flags_8 = 0;
|
|
|
|
carveout->flags_9 = 0;
|
|
|
|
carveout->allowed_clients = 0x04000006;
|
|
|
|
|
|
|
|
/* Configure Carveout 2 (GPU UCODE) */
|
|
|
|
carveout = get_carveout_by_id(2);
|
|
|
|
carveout->paddr_low = 0x80020000;
|
|
|
|
carveout->paddr_high = 0;
|
|
|
|
carveout->size_big_pages = 2; /* 0x40000 */
|
|
|
|
carveout->flags_0 = 0;
|
|
|
|
carveout->flags_1 = 0;
|
|
|
|
carveout->flags_2 = 0x3000000;
|
|
|
|
carveout->flags_3 = 0;
|
|
|
|
carveout->flags_4 = 0x300;
|
|
|
|
carveout->flags_5 = 0;
|
|
|
|
carveout->flags_6 = 0;
|
|
|
|
carveout->flags_7 = 0;
|
|
|
|
carveout->flags_8 = 0;
|
|
|
|
carveout->flags_9 = 0;
|
|
|
|
carveout->allowed_clients = 0x440167E;
|
2018-02-26 21:09:35 +00:00
|
|
|
|
2018-02-23 09:12:38 +00:00
|
|
|
/* Configure Carveout 3 (UNUSED GPU) */
|
|
|
|
carveout = get_carveout_by_id(3);
|
|
|
|
carveout->paddr_low = 0;
|
|
|
|
carveout->paddr_high = 0;
|
|
|
|
carveout->size_big_pages = 0;
|
|
|
|
carveout->flags_0 = 0;
|
|
|
|
carveout->flags_1 = 0;
|
|
|
|
carveout->flags_2 = 0x3000000;
|
|
|
|
carveout->flags_3 = 0;
|
|
|
|
carveout->flags_4 = 0x300;
|
|
|
|
carveout->flags_5 = 0;
|
|
|
|
carveout->flags_6 = 0;
|
|
|
|
carveout->flags_7 = 0;
|
|
|
|
carveout->flags_8 = 0;
|
|
|
|
carveout->flags_9 = 0;
|
|
|
|
carveout->allowed_clients = 0x4401E7E;
|
2018-02-26 21:09:35 +00:00
|
|
|
|
2018-02-23 09:12:38 +00:00
|
|
|
/* Configure default Kernel carveouts based on 2.0.0+. */
|
2018-02-26 21:09:35 +00:00
|
|
|
|
2018-02-23 09:12:38 +00:00
|
|
|
/* Configure Carveout 4 (KERNEL_BUILTINS) */
|
|
|
|
configure_kernel_carveout(5, 0x80060000, KERNEL_CARVEOUT_SIZE_MAX);
|
2018-02-26 21:09:35 +00:00
|
|
|
|
2018-02-23 09:12:38 +00:00
|
|
|
/* Configure Carveout 5 (KERNEL_UNUSED) */
|
|
|
|
configure_kernel_carveout(5, 0, 0);
|
|
|
|
}
|
|
|
|
|
|
|
|
void configure_kernel_carveout(unsigned int carveout_id, uint64_t address, uint64_t size) {
|
|
|
|
if (carveout_id != 4 && carveout_id != 5) {
|
2018-02-24 14:20:45 +00:00
|
|
|
generic_panic();
|
2018-02-23 09:12:38 +00:00
|
|
|
}
|
2018-02-26 21:09:35 +00:00
|
|
|
|
2018-02-23 09:12:38 +00:00
|
|
|
volatile security_carveout_t *carveout = get_carveout_by_id(carveout_id);
|
|
|
|
carveout->paddr_low = (uint32_t)(address & 0xFFFFFFFF);
|
|
|
|
carveout->paddr_high = (uint32_t)(address >> 32);
|
|
|
|
carveout->size_big_pages = (uint32_t)(size >> 17);
|
|
|
|
carveout->flags_0 = 0x70E3407F;
|
|
|
|
carveout->flags_1 = 0x1A620880;
|
|
|
|
carveout->flags_2 = 0x303C00;
|
|
|
|
carveout->flags_3 = 0xCF0830BB;
|
|
|
|
carveout->flags_4 = 0x3;
|
|
|
|
carveout->flags_5 = 0;
|
|
|
|
carveout->flags_6 = 0;
|
|
|
|
carveout->flags_7 = 0;
|
|
|
|
carveout->flags_8 = 0;
|
|
|
|
carveout->flags_9 = 0;
|
|
|
|
carveout->allowed_clients = 0x8B;
|
|
|
|
}
|