diff options
Diffstat (limited to 'sys/akaros/init.go')
| -rw-r--r-- | sys/akaros/init.go | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/sys/akaros/init.go b/sys/akaros/init.go index ede55dfe9..91e1345a7 100644 --- a/sys/akaros/init.go +++ b/sys/akaros/init.go @@ -9,21 +9,20 @@ import ( ) type arch struct { - MAP_FIXED uint64 + unix *targets.UnixSanitizer } func InitTarget(target *prog.Target) { arch := &arch{ - MAP_FIXED: target.GetConst("MAP_FIXED"), + unix: targets.MakeUnixSanitizer(target), } target.MakeMmap = targets.MakePosixMmap(target) target.SanitizeCall = arch.sanitizeCall } func (arch *arch) sanitizeCall(c *prog.Call) { + arch.unix.SanitizeCall(c) switch c.Meta.CallName { - case "mmap": - c.Args[3].(*prog.ConstArg).Val |= arch.MAP_FIXED case "provision": if pid, ok := c.Args[0].(*prog.ConstArg); ok && uint32(pid.Val) == ^uint32(0) { // pid -1 causes some debugging splat on console. |