Searched refs:GuardedPagePoolPlatformData (Results 1 – 2 of 2) sorted by relevance
52 Size, &GuardedPagePoolPlatformData.Vmar, &Addr); in reserveGuardedPool()54 _zx_object_set_property(GuardedPagePoolPlatformData.Vmar, ZX_PROP_NAME, in reserveGuardedPool()60 const zx_handle_t Vmar = GuardedPagePoolPlatformData.Vmar; in unreserveGuardedPool()64 GuardedPagePoolPlatformData.Vmar = ZX_HANDLE_INVALID; in unreserveGuardedPool()75 const zx_handle_t Vmar = GuardedPagePoolPlatformData.Vmar; in allocateInGuardedPool()92 const zx_handle_t Vmar = GuardedPagePoolPlatformData.Vmar; in deallocateInGuardedPool()
242 PlatformSpecificMapData GuardedPagePoolPlatformData = {}; variable