extern void VG_(deliver_signal) ( ThreadId tid, const vki_ksiginfo_t *, Bool async );
extern void VG_(unblock_host_signal) ( Int sigNo );
-extern void VG_(handle_SCSS_change) ( Bool force_update );
extern Bool VG_(is_sig_ign) ( Int sigNo );
After a possible SCSS change, update SKSS and the kernel itself.
------------------------------------------------------------------ */
-void VG_(handle_SCSS_change) ( Bool force_update )
+static void handle_SCSS_change ( Bool force_update )
{
Int res, sig;
SKSS skss_old;
/* All happy bunnies ... */
if (new_act) {
- VG_(handle_SCSS_change)( False /* lazy update */ );
+ handle_SCSS_change( False /* lazy update */ );
}
SET_SYSCALL_RETVAL(tid, 0);
return;
/* Do the ONESHOT thing. */
handler->scss_handler = VKI_SIG_DFL;
- VG_(handle_SCSS_change)( False /* lazy update */ );
+ handle_SCSS_change( False /* lazy update */ );
}
switch(tst->status) {
/* Calculate SKSS and apply it. This also sets the initial kernel
mask we need to run with. */
- VG_(handle_SCSS_change)( True /* forced update */ );
+ handle_SCSS_change( True /* forced update */ );
}