perf: Use a user_data blob for perf_event (XCC)
[akaros.git] / kern / arch / x86 / colored_caches.c
index c07637a..11c4259 100644 (file)
@@ -1,8 +1,8 @@
-/* Copyright (c) 2009 The Regents of the University  of California. 
- * See the COPYRIGHT files at the top of this source tree for full 
+/* Copyright (c) 2009 The Regents of the University  of California.
+ * See the COPYRIGHT files at the top of this source tree for full
  * license information.
  * license information.
- * 
- * Kevin Klues <klueska@cs.berkeley.edu>    
+ *
+ * Kevin Klues <klueska@cs.berkeley.edu>
  */
 
 #include <error.h>
  */
 
 #include <error.h>
@@ -20,10 +20,10 @@ cache_t* llc_cache;
 available_caches_t available_caches;
 
 /************** Cache Related Functions  *****************/
 available_caches_t available_caches;
 
 /************** Cache Related Functions  *****************/
-void cache_init() 
+void cache_init()
 {
        // Initialize the caches available on this system.
 {
        // Initialize the caches available on this system.
-       // TODO: Should call out to something reading the acpi tables from 
+       // TODO: Should call out to something reading the acpi tables from
        // memory, or something similar.  For now, just initialize them inline
        available_caches.l1 = &l1;
        available_caches.l2 = &l2;
        // memory, or something similar.  For now, just initialize them inline
        available_caches.l1 = &l1;
        available_caches.l2 = &l2;