Because of the unnecessary conditional during syscall symbols
generation, execenv syscall registrations would not benefit from
having their `uk_syscall_do_` symbol generated automatically.
Fix this by removing this conditional.
Signed-off-by: Sergiu Moga <sergiu@unikraft.io>
Approved-by: Michalis Pappas <michalis@unikraft.io>
Reviewed-by: Michalis Pappas <michalis@unikraft.io>
Reviewed-by: Andrei Tatar <andrei@unikraft.io>
GitHub-Closes: #1618
name = $1;
printf "uk_syscall_r_%s\n", name;
printf "uk_syscall_e_%s\n", name;
+ printf "uk_syscall_do_%s\n", name;
if (substr($0, length($0)) == "e") {
printf "uk_syscall_r_e_%s\n", name;
printf "uk_syscall_e_e_%s\n", name;
printf "uk_syscall_do_e_%s\n", name;
- } else {
- printf "uk_syscall_do_%s\n", name;
}
}