At least it works again now. Sprofalyze should be made aware of the
kernel information page, though (i.e., /proc/ipcvecs).
Change-Id: Id4e5f6417ad152607c4e53b323b6f65ea4b10c6e
static const char *default_binaries[] = {
"kernel/kernel",
"servers/",
- "drivers/",
+ /* XXX this should not be necessary */
+ "drivers/audio/",
+ "drivers/bus/",
+ "drivers/clock/",
+ "drivers/eeprom/",
+ "drivers/examples/",
+ "drivers/hid/",
+ "drivers/iommu/",
+ "drivers/net/",
+ "drivers/power/",
+ "drivers/printer/",
+ "drivers/sensors/",
+ "drivers/storage/",
+ "drivers/system/",
+ "drivers/tty/",
+ "drivers/usb/",
+ "drivers/video/",
+ "drivers/vmm_guest/",
+ "fs/",
+ "net/",
};
-static const char *src_path = "/usr/src";
+static const char *src_path = "/usr/src/minix";
/* types */
/* Profiling. */
int sys_sprof(int action, int size, int freq, int type, endpoint_t
- endpt, void *ctl_ptr, void *mem_ptr);
+ endpt, vir_bytes ctl_ptr, vir_bytes mem_ptr);
/* machine context */
int sys_getmcontext(endpoint_t proc, vir_bytes mcp);
break;
case PROF_NMI:
err = nmi_watchdog_start_profiling(
- _ptr->m_lsys_krn_sys_sprof.freq);
+ m_ptr->m_lsys_krn_sys_sprof.freq);
if (err)
return err;
break;
int freq; /* sample frequency */
int type;
endpoint_t endpt; /* caller endpoint */
-void *ctl_ptr; /* location of info struct */
-void *mem_ptr; /* location of profiling memory */
+vir_bytes ctl_ptr; /* location of info struct */
+vir_bytes mem_ptr; /* location of profiling memory */
{
message m;