static void gdb_vmm_npg_map(uint8_t *data, size_t len) { uint64_t args[3]; if(!__gdb_vmm_parse_args(data, len, args, 3)) { gdb_nak(); return; } npg_map((offset_t)args[0], (offset_t)args[1], args[2]); gdb_ok(); }
void svm_npt_map() { npg_map(0, info->area.start, npg_dft_attr); npg_map(info->area.end, info->hrd.mem.top, npg_dft_attr); }