@@ -250,3 +250,9 @@ user wants to deploy SGX applications both on the host and in guests
on the same machine, the user should reserve enough EPC (by taking out
total virtual EPC size of all SGX VMs from the physical EPC size) for
host SGX applications so they can run with acceptable performance.
+
+Debugging
+=========
+
+*/sys/kernel/debug/x86/sgx_total_mem* contains an integer describing
+the total SGX reserved memory in bytes, available in the system.
@@ -28,7 +28,10 @@ static DECLARE_WAIT_QUEUE_HEAD(ksgxd_waitq);
static LIST_HEAD(sgx_active_page_list);
static DEFINE_SPINLOCK(sgx_reclaimer_lock);
-/* The free page list lock protected variables prepend the lock. */
+/* Total EPC memory available in bytes. */
+static unsigned long sgx_total_mem;
+
+/* The number of free EPC pages in all nodes. */
static unsigned long sgx_nr_free_pages;
/* Nodes with one or more EPC sections. */
@@ -656,6 +659,8 @@ static bool __init sgx_setup_epc_section(u64 phys_addr, u64 size,
list_add_tail(§ion->pages[i].list, &sgx_dirty_page_list);
}
+ sgx_total_mem += nr_pages * PAGE_SIZE;
+
return true;
}
@@ -790,8 +795,30 @@ int sgx_set_attribute(unsigned long *allowed_attributes,
}
EXPORT_SYMBOL_GPL(sgx_set_attribute);
+static struct ctl_path sgx_sysctl_path[] = {
+ { .procname = "kernel", },
+ { .procname = "sgx", },
+ { }
+};
+
+static unsigned long sgx_total_mem_max = ~0UL;
+
+static struct ctl_table sgx_sysctl_table[] = {
+ {
+ .procname = "total_mem",
+ .data = &sgx_total_mem,
+ .maxlen = sizeof(unsigned long),
+ .mode = 0444,
+ .proc_handler = proc_doulongvec_minmax,
+ .extra1 = SYSCTL_ZERO, /* min */
+ .extra2 = &sgx_total_mem_max, /* max */
+ },
+ { }
+};
+
static int __init sgx_init(void)
{
+ struct ctl_table_header *sysctl_table_header;
int ret;
int i;
@@ -810,6 +837,12 @@ static int __init sgx_init(void)
if (ret)
goto err_kthread;
+ sysctl_table_header = register_sysctl_paths(sgx_sysctl_path, sgx_sysctl_table);
+ if (!sysctl_table_header) {
+ pr_err("sysctl registration failed.\n");
+ goto err_provision;
+ }
+
/*
* Always try to initialize the native *and* KVM drivers.
* The KVM driver is less picky than the native one and
@@ -821,10 +854,13 @@ static int __init sgx_init(void)
ret = sgx_drv_init();
if (sgx_vepc_init() && ret)
- goto err_provision;
+ goto err_sysctl;
return 0;
+err_sysctl:
+ unregister_sysctl_table(sysctl_table_header);
+
err_provision:
misc_deregister(&sgx_dev_provision);