From 5fcf57739e68a8b5053e03778aaee0eed445babd Mon Sep 17 00:00:00 2001 From: Benji Dial Date: Thu, 11 Mar 2021 22:00:22 -0500 Subject: settings editor, and lots of changes in service of that --- src/user/knob/file.c | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) (limited to 'src/user/knob/file.c') diff --git a/src/user/knob/file.c b/src/user/knob/file.c index db38e52..999778e 100644 --- a/src/user/knob/file.c +++ b/src/user/knob/file.c @@ -73,7 +73,7 @@ uint32_t read_from_file(struct file *f, uint32_t max, void *buf) { return read; } -uint32_t write_to_file(struct file *f, uint32_t max, void *buf) { +uint32_t write_to_file(struct file *f, uint32_t max, const void *buf) { if (f->position + max > f->length) _set_file_size(f->handle, f->length = f->position + max); @@ -109,6 +109,11 @@ int32_t seek_file_by(struct file *f, int32_t by) { return to - old; } +__attribute__ ((pure)) +uint32_t get_file_pos(struct file *f) { + return f->position; +} + __attribute__ ((pure)) uint32_t file_size(struct file *f) { return f->length; -- cgit v1.2.3