Searched refs:DEFAULT_GUEST_KERNEL_ID (Results 1 – 3 of 3) sorted by relevance
59 #define DEFAULT_GUEST_KERNEL_ID (0) macro157 return self ? self->pid == DEFAULT_GUEST_KERNEL_ID : false; in machine__is_default_guest()
644 if (pid == HOST_KERNEL_ID || pid == DEFAULT_GUEST_KERNEL_ID) in machines__findnew()
2534 machines__create_kernel_maps(self, DEFAULT_GUEST_KERNEL_ID); in machines__create_guest_kernel_maps()