X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvm_guest_mem.h;h=db6a6a0722f65eb151fb33cce236bff388aa95fc;hb=0e26b3738daf436ba2d9a088ba620a3583d40de3;hp=6d983aee39b0a02e5390526f9871bfd88da91994;hpb=dc6b47d05e37e6c3738e1bc6165ec4a107717d2b;p=palacios.git

diff --git a/palacios/include/palacios/vm_guest_mem.h b/palacios/include/palacios/vm_guest_mem.h
index 6d983ae..db6a6a0 100644
--- a/palacios/include/palacios/vm_guest_mem.h
+++ b/palacios/include/palacios/vm_guest_mem.h
@@ -99,9 +99,6 @@ int v3_hva_to_gva(struct guest_info * guest_info, addr_t host_va, addr_t  * gues
 
 
 
-// KCH
-// Check if pte for this gva has certain permissions
-int v3_gva_can_access(struct guest_info * core, addr_t gva);