libsel4vm: Renamed 'reg_new_handler'

Renamed the x86 interface function 'reg_new_handler' to
'vm_reg_new_vmcall_handler'. This is to make the purpose of the
function clearer. This doesn't change any functionality.

libsel4vm/arch_include/x86/sel4vm/arch/vmcall.h

diff --git a/libsel4vm/arch_include/x86/sel4vm/arch/vmcall.h b/libsel4vm/arch_include/x86/sel4vm/arch/vmcall.h
index 11921e2..c9a36d4 100644
--- a/libsel4vm/arch_include/x86/sel4vm/arch/vmcall.h
+++ b/libsel4vm/arch_include/x86/sel4vm/arch/vmcall.h
@@ -18,4 +18,4 @@
     Simple functions for registering handlers,
         calling a handler
 */
-int reg_new_handler(vm_t *vm, vmcall_handler func, int token);
+int vm_reg_new_vmcall_handler(vm_t *vm, vmcall_handler func, int token);

libsel4vm/src/arch/x86/vmcall.c

diff --git a/libsel4vm/src/arch/x86/vmcall.c b/libsel4vm/src/arch/x86/vmcall.c
index abd6382..ee32a39 100644
--- a/libsel4vm/src/arch/x86/vmcall.c
+++ b/libsel4vm/src/arch/x86/vmcall.c
@@ -32,7 +32,7 @@
     return NULL;
 }
 
-int reg_new_handler(vm_t *vm, vmcall_handler func, int token)
+int vm_reg_new_vmcall_handler(vm_t *vm, vmcall_handler func, int token)
 {
     unsigned int *hnum = &(vm->arch.vmcall_num_handlers);
     if (get_handle(vm, token) != NULL) {