kernel/source/syscall/sc_ipc.cpp
// TODO: since the selector contains a pointer to a userspace string, we most
// likely need to sanitise this as well. sad reacts.
since the selector contains a pointer to a userspace string, we most
likely need to sanitise this as well. sad reacts.
since the selector contains a pointer to a userspace string we most likely need to sanitise this as well . sad reacts .
void ipc_signal(ipc::selector_t sel, uint64_t a, uint64_t b, uint64_t c)
	{
		auto smb = signal_message_body_t(a, b, c);
		ipc::signal(sel, ipc::SIGNAL_NORMAL, smb);
	}
void ipc_signal ( ipc :: selector_t sel , uint64_t a , uint64_t b , uint64_t c ) { auto smb = signal_message_body_t ( a , b , c ) ; ipc :: signal ( sel , ipc :: SIGNAL_NORMAL , smb ) ; }
TODO: since the selector contains a pointer to a userspace string, we most
likely need to sanitise this as well.
TODO : since the selector contains a pointer to a userspace string we most likely need to sanitise this as well .