48 lines
1.2 KiB
C
48 lines
1.2 KiB
C
#include <stdarg.h>
|
|
#include <stdio.h>
|
|
|
|
#include <aos/aos.h>
|
|
#include <aos/sys_debug.h>
|
|
#include <grading.h>
|
|
|
|
|
|
void grading_rpc_handle_number(uintptr_t val)
|
|
{
|
|
DEBUG_PRINTF("grading_rpc_handle_number(%"PRIuPTR")\n", val);
|
|
}
|
|
|
|
void grading_rpc_handler_string(const char* string)
|
|
{
|
|
DEBUG_PRINTF("grading_rpc_handler_string(\"%s\")\n", string);
|
|
}
|
|
|
|
void grading_rpc_handler_serial_getchar(void)
|
|
{
|
|
DEBUG_PRINTF("grading_rpc_handler_serial_getchar()\n");
|
|
}
|
|
|
|
void grading_rpc_handler_serial_putchar(char c)
|
|
{
|
|
DEBUG_PRINTF("grading_rpc_handler_serial_putchar(0x%"PRIx8")\n", c);
|
|
}
|
|
|
|
void grading_rpc_handler_ram_cap(size_t bytes, size_t alignment)
|
|
{
|
|
// DEBUG_PRINTF("grading_rpc_handler_ram_cap(0x%"PRIxPTR", 0x%"PRIxPTR")\n", bytes, alignment);
|
|
}
|
|
|
|
void grading_rpc_handler_process_spawn(char* cmdline, coreid_t core)
|
|
{
|
|
DEBUG_PRINTF("grading_rpc_handler_process_spawn(\"%s\", %"PRIuCOREID")\n", cmdline, core);
|
|
}
|
|
|
|
void grading_rpc_handler_process_get_name(domainid_t pid)
|
|
{
|
|
DEBUG_PRINTF("grading_rpc_handler_process_get_name(%"PRIuDOMAINID")\n", pid);
|
|
}
|
|
|
|
void grading_rpc_handler_process_get_all_pids(void)
|
|
{
|
|
DEBUG_PRINTF("grading_rpc_handler_process_get_all_pids()\n");
|
|
}
|