//
// Created by b on 5/25/20.
//

#ifndef BFOS_BUILTIN_PID_H
#define BFOS_BUILTIN_PID_H


errval_t builtin_pid(
        int argc,
        char **argv);


errval_t builtin_coreid(
        int argc,
        char **argv);

#endif //BFOS_BUILTIN_PID_H
