Rename safe_read_msr() -> read_msr_safe()
authorBarret Rhoden <brho@cs.berkeley.edu>
Thu, 28 Apr 2016 20:08:20 +0000 (16:08 -0400)
committerBarret Rhoden <brho@cs.berkeley.edu>
Mon, 2 May 2016 21:11:15 +0000 (17:11 -0400)
And the same for write().

Signed-off-by: Barret Rhoden <brho@cs.berkeley.edu>
kern/arch/x86/msr.c
kern/arch/x86/uaccess.h

index 04a4104..03a1a55 100644 (file)
@@ -41,7 +41,7 @@ static void msr_smp_read(void *opaque)
        err = msr_get_core_address(coreno, srv->msra, &addr);
        if (err)
                goto errout;
-       err = safe_read_msr(addr, &value);
+       err = read_msr_safe(addr, &value);
        if (err)
                goto errout;
        err = msr_set_core_value(coreno, value, srv->msrv);
@@ -99,7 +99,7 @@ static void msr_smp_write(void *opaque)
        err = msr_get_core_value(coreno, swv->msrv, &value);
        if (err)
                goto errout;
-       err = safe_write_msr(addr, value);
+       err = write_msr_safe(addr, value);
        if (err)
                goto errout;
 
index 438d867..b3d6f27 100644 (file)
@@ -178,7 +178,7 @@ static inline int copy_from_user(void *dst, const void *src,
        return err;
 }
 
-static inline int safe_read_msr(uint32_t addr, uint64_t *value)
+static inline int read_msr_safe(uint32_t addr, uint64_t *value)
 {
        int err = 0;
        uint32_t edx, eax;
@@ -190,7 +190,7 @@ static inline int safe_read_msr(uint32_t addr, uint64_t *value)
        return err;
 }
 
-static inline int safe_write_msr(uint32_t addr, uint64_t value)
+static inline int write_msr_safe(uint32_t addr, uint64_t value)
 {
        int err = 0;