diff options
| author | Kimplul <kimi.h.kuparinen@gmail.com> | 2021-12-29 18:47:16 +0200 |
|---|---|---|
| committer | Kimplul <kimi.h.kuparinen@gmail.com> | 2021-12-29 18:49:28 +0200 |
| commit | 4e5595a089c815febd7a0d42ab62940bf13f73ac (patch) | |
| tree | 322f35d9315e9966de8a66052811858df0144085 /backend_api.txt | |
| parent | a12e50e5a7dae52ed8bd5a24cc6576371e20985b (diff) | |
| download | kmi-4e5595a089c815febd7a0d42ab62940bf13f73ac.tar.gz kmi-4e5595a089c815febd7a0d42ab62940bf13f73ac.zip | |
Preparations for refactoring
Diffstat (limited to 'backend_api.txt')
| -rw-r--r-- | backend_api.txt | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/backend_api.txt b/backend_api.txt new file mode 100644 index 0000000..f9bc93e --- /dev/null +++ b/backend_api.txt @@ -0,0 +1,21 @@ +Some functionality the different arch backends should support + ++ cpu_id() - return the ID of the current process executing the code, with +regular indexing (0 - MAX_CPUS), that is. + ++ map_vpage() - map one page according to the specs given. ++ stat_vpage() - get info about mapping at virtual address. ++ mod_vpage() - modify mapping at virtual address. ++ unmap_vpage() - unmap page at virtual address. + ++ flush_tlb() - flush TLB cache for running cpu. ++ flush_tlb_all() - flush all TLC caches. (note, flush_tlb is allowed to just + call flush_tlb_all if the arch doesn't support per-cpu + flushing.) ++ flush_tlb_region() - ??? maybe? + ++ enable_irq() - enable interrupts ++ disable_irq() - disable interrupts + ++ probably more stuff, just not entirely sure what parts should go where yet. ++ the backend also has to define a memory layout, of course. |